A. Pintus, F. Paternò, and C. Santoro. WEBIST 2010, Proceedings of the 6th International Conference on Web Information Systems and Technologies, Volume 2, page 175--180. (2010)
K. Sousa, H. Mendonça, and J. Vanderdonckt. Task Models and Diagrams for User Interface Design, volume 5963 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)