This is the basic example to show the specification and verification of a software architecture.
In this example, the personnel of a company uses a group of printers to print their documents. The company management requires a secure printing system that protects document confidentiality.
The complete information can be found in sps.pdf

You can get the ML description of :

• Secure Print Server (original correct configuration)
• Secure Print Server (improper clearance, case 1a)
• Secure Print Server (improper clearance, case 1b)
• Secure Print Server (improper atatchement, case 2)
• Secure Print Server (invalid glue description, case 3 )