T. Schlegel. Proceedings of the 5th International Workshop on Model Driven Development of Advanced User Interfaces, ACM Conference on Human Factors in Computing Systems, (2010)
M. Lochau, S. Mennicke, H. Baller, und L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Volume 8802 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
M. zur Muehlen, und J. Recker. Advanced Information Systems Engineering, Volume 5074 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
M. Prilla. Proceedings of 2nd Workshop on Business Process Management and Social
Software in Conjunction with the Business Process Management Conference
2009, (2009)