Modeling Specification and Verification of an Emergency Closing System. - Werner Stephan 001; Georg Rock; Michael Brodski (FLAIRS, 2000)