1. Object Management Group: Unified Modeling Language: Superstructure, version 2.2, formal/2009-02-02 (2009)
2. Lecture Notes in Computer Science;A. Pnueli,1986
3. Bræk, R., Haugen, Ø.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. Prentice Hall, Englewood Cliffs (1993)
4. Lecture Notes in Computer Science;F.A. Kraemer,2009
5. Herstad, A., Nersveen, E., Samset, H., Storsveen, A., Svaet, S., Husa, K.E.: Connected Objects: Building a Service Platform for M2M. In: Beyond the Bit Pipe. Proccedings of the 13th ICIN Conference (2009)