Specifying and Verifying Requirements of Real-Time Systems. - Anders P. Ravn; Hans Rischel; Kirsten Mark Hansen (IEEE Trans. Software Eng., 1993)

Validation of a Railway Interlocking Model. - Kirsten Mark Hansen (FME, 1994)

From Safety Analysis to Software Requirements. - Kirsten Mark Hansen; Anders P. Ravn; Victoria Stavridou (IEEE Trans. Software Eng., 1998)