ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies.

Published in: Tool Support for System Specification, Development and Verification (1998)