P. Ölveczky. Formal Modeling: Actors, Open Systems, Biological Systems, Volume 7000 von Lecture Notes in Computer Science, Seite 368-402. Springer, (2011)
P. Ölveczky, P. Kosiuczenko, und M. Wirsing. Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 379-402. Springer, (1995)