D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
A. Pnueli. 18th Annual Symposium on the Foundations of Computer Science (FOCS-77), page 46--57. Providence, Rhode Island, IEEE, IEEE Computer Society Press, (October 1977)
A. Pnueli, N. Shankar, and E. Singerman. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of Lecture Notes in Computer Science, page 198--209. Lyngby, Denmark, Springer-Verlag, (September 1998)