M. Buntins, J. Schicke, F. Eggert, and U. Goltz. Hybrid Autonomous Systems@ETAPS, volume 297 of Electronic Notes in Theoretical Computer Science, page 47-59. Elsevier, (2011)
S. Mennicke, J. Schicke-Uffmann, and U. Goltz. Formal Techniques for Distributed Objects, Components, and Systems, volume 8461 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)