Formale Top-Level-Spezifikation, Teil eines Klasse A1 netzwerksicheren Systems (siehe Orange Book)