B. Bairagi, B. Dey, B. Sarkar, и S. Sanyal. International Journal on Soft Computing, Artificial Intelligence and Applications (IJSCAI),, 1 (3):
9(декабря 2012)
S. Balbo, D. Draheim, C. Lutteroth, и G. Weber. Proceedings of the 4th international workshop on Task models and diagrams, стр. 111--118. New York, NY, USA, ACM, (2005)
J. Huang, Z. Zhuang, J. Li, и C. Giles. Proceedings of the 2008 International Conference on Web Search and Data Mining, стр. 107--116. New York, NY, USA, ACM, (2008)
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)