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)