S. Tiyyagura, U. Küster, und S. Borowski. International Conference on Computational Science (1), Volume 3991 von Lecture Notes in Computer Science, Seite 196-203. Springer, (2006)
S. Benkler, N. Chavannes, und N. Kuster. International Workshop on Antenna Technology: Small and Smart Antennas Metamaterials and Applications (IWAT '07), Seite 475--478. (2007)
A. Aschenbrenner, M. Kuster, C. Ludwig, und T. Vitt. Digital Ecosystems and Technologies, 2009. DEST '09. 3rd IEEE International Conference on, Seite 745 -750. (Juni 2009)
D. Küster, und A. Swiderska. Robophilosophy/TRANSOR, Volume 290 von Frontiers in Artificial Intelligence and Applications, Seite 340-343. IOS Press, (2016)
G. Engels, J. Küster, R. Heckel, und M. Lohmann. Electr. Notes Theor. Comput. Sci., (2003)MR: UML-Modell (On the high level, our system model is composed of use case diagrams and sequence diagrams describing the interaction of the system with users of the system. On the low level, it is composed of class diagrams, statecharts and activity diagrams.) wird durch Grapftransformationen in eine formale Sprache (CSP) überführt und mit einem Model-Checker validiert und in ein Testmodell überführt..