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)
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)
L. Corrigan, C. Peters, D. Küster, und G. Castellano. Toward Robotic Socially Believable Behaving Systems (I), Volume 105 von Intelligent Systems Reference Library, Springer, (2016)
N. Currle-Linde, U. Küster, M. Resch, und B. Risio. PARCO, Volume 33 von John von Neumann Institute for Computing Series, Seite 49-56. Central Institute for Applied Mathematics, Jülich, Germany, (2005)
G. Engels, R. Heckel, und J. Küster. 4th International Conference on The Unified Modeling Language (UML 2001), Volume 2185 von Lecture Notes in Computer Science, Seite 272--286. Springer-Verlag, Berlin, (2001)
G. Engels, R. Heckel, und J. Malte Küster. Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Springer-Verlag, Toronto, Canada.(Oktober 2001)
G. Engels, R. Heckel, und J. Malte Küster. Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Springer-Verlag, Toronto, Canada.(Oktober 2001)
G. Engels, R. Heckel, und J. Malte Küster. Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Springer-Verlag, Toronto, Canada.(Oktober 2001)
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..