Ou, J., Brunmayr, P., Haase, J., & Grimm, C. (2010). Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen. In Proceedings of the 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 207–217). http://hdl.handle.net/20.500.12708/71865