APA-viite (7. p.)
Anders P. Ravn, H. R. Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Springer.
Chicago-viite (17. p.)
Anders P. Ravn, Hans Rischel. Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Berlín, Alemania: Springer.
MLA-viite (9. p.)
Anders P. Ravn, Hans Rischel. Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.