M. Balser, Verifying Concurrent System with Symbolic Execution ? Temporal Reasoning is Symbolic Execution with a Little Induction, 2005.

M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums, 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

T. Bienmöller, W. Damm, and H. Wittke, The STATEMATE verification environment ? making it real, CAV'00: 12th international Conference on Computer Aided Verification, number 1855 in LNCS, pp.561-567, 2000.

G. Bruns and S. Anderson, 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

A. Cau, B. Moszkowski, and H. Zedan, ITL ? Interval Temporal Logic

W. Damm, B. Josko, H. Hungar, and A. Pnueli, A Compositional Real-time Semantics of STATEMATE Designs, COMPOS' 97, pp.186-238, 1998.
DOI : 10.1007/3-540-49213-5_8

K. Hansen, A. Ravn, and V. Stavridou, From safety analysis to software requirements, IEEE Transactions on Software Engineering, vol.24, issue.7, pp.573-584, 1998.
DOI : 10.1109/32.708570

K. M. Hansen, A. P. Ravn, and V. Stavridou, From safety analysis to formal specification. ProCoS II document, 1994.

D. Harel and A. Naamad, 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

J. Klose and A. Thums, The STATEMATE reference model of the reference case study 'Verkehrsleittechnik', 2002.

F. Ortmeier, A. Thums, G. Schellhorn, and W. Reif, 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

F. Ortmeier and W. Reif, Formal safety analysis of transportation control systems, Proceedings of SEFM 2005, 2005.

G. Schellhorn, A. Thums, and W. Reif, Formal fault tree semantics, Proceedings of The Sixth World Conference on Integrated Design & Process Technology, 2002.

A. Thums, Formale Fehlerbaumanalyse, 2004.

A. Thums, G. Schellhorn, and W. Reif, Comparing fault tree semantics, pp.25-32, 2002.

W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook, p.492, 1981.

Z. Chaochen and M. R. Hansen, Duration calculus: Logical foundations, Formal Aspects of Computing, pp.283-330, 1997.