D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309--324. Springer-Verlag, Berlin, (2005)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309--324. Springer-Verlag, Berlin, (2005)