Verifying Concurrent System with Symbolic Execution ? Temporal Reasoning is Symbolic Execution with a Little Induction, 2005. ,
Formal System Development with KIV, Fundamental Approaches to Software Engineering, number 1783 in LNCS, pp.363-366, 2000. ,
DOI : 10.1007/3-540-46428-X_25
The STATEMATE verification environment ? making it real, CAV'00: 12th international Conference on Computer Aided Verification, number 1855 in LNCS, pp.561-567, 2000. ,
Validating Safety Models with Fault Trees, SafeComp'93: 12th International Conference on Computer Safety, Reliability, and Security, pp.21-30, 1993. ,
DOI : 10.1007/978-1-4471-2061-2_3
ITL ? Interval Temporal Logic ,
A Compositional Real-time Semantics of STATEMATE Designs, COMPOS' 97, pp.186-238, 1998. ,
DOI : 10.1007/3-540-49213-5_8
From safety analysis to software requirements, IEEE Transactions on Software Engineering, vol.24, issue.7, pp.573-584, 1998. ,
DOI : 10.1109/32.708570
From safety analysis to formal specification. ProCoS II document, 1994. ,
The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996. ,
DOI : 10.1145/235321.235322
The STATEMATE reference model of the reference case study 'Verkehrsleittechnik', 2002. ,
Combining Formal Methods and Safety Analysis ??? The ForMoSA Approach, Integration of Software Specification Techniques for Applications in Engineering. Springer LNCS 3147, 2004. ,
DOI : 10.1007/978-3-540-27863-4_26
Formal safety analysis of transportation control systems, Proceedings of SEFM 2005, 2005. ,
Formal fault tree semantics, Proceedings of The Sixth World Conference on Integrated Design & Process Technology, 2002. ,
Formale Fehlerbaumanalyse, 2004. ,
Comparing fault tree semantics, pp.25-32, 2002. ,
Fault Tree Handbook, p.492, 1981. ,
Duration calculus: Logical foundations, Formal Aspects of Computing, pp.283-330, 1997. ,