康蒂尼，S。；谢尔，S。；Wilikens，M。；德可乐，G。；Cojazzi，G。 ASTRA：用于复杂系统可靠性研究的集成工具集。 （英语） Zbl 0944.68505号 Berghammer，Rudolf（编辑）等人，《系统规范、开发和验证的工具支持》。国际研讨会会议记录，德国马伦特，1998年6月1日至4日。维恩：施普林格。计算机科学进展。77-91 (1999). 有关整个系列，请参见[Zbl 0916.00015号]. MSC公司： 68号01 软件理论的一般主题 软件：阿斯特拉 PDF格式BibTeX公司 XML格式引用 \textit{S.Contini}等人，in：系统规范、开发和验证的工具支持。国际研讨会论文集，德国马伦特，1998年6月1-4日。维恩：施普林格。77-91（1999年；兹bl 0944.68505）