ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. - Sergio Contini; Stefan Scheer; Marc Wilikens; G. de Cola; G. G. M. Cojazzi (Tool Support for System Specification, Development and Verification, 1998)