W. Janssen. Tools and Algorithms for the Construction and Analysis of Systems, том 1019 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)
W. Janssen, M. Poel, J. Zwiers, и Q. Xu. Formal Techniques in Real-Time and Fault-Tolerant Systems, том 863 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1994)
W. Janssen, и J. Zwiers. Formal Techniques in Real-Time and Fault-Tolerant Systems, том 571 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)