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, и L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, том 8802 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
M. zur Muehlen, и J. Recker. Advanced Information Systems Engineering, том 5074 из 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)