R. Ghosh, K. Trivedi, V. Naik, and D. Kim. Dependable Computing (PRDC), 2010 IEEE 16th Pacific Rim International Symposium on, page 125-132. (December 2010)
S. Ajitha, T. Kumar, D. Geetha, and K. Kanth. 2010 International Conference on Industrial and Information Systems (ICIIS), page 372--376. IEEE, (August 2010)
E. Dashofy, A. van der Hoek, and R. Taylor. Proceedings of the 24rd International Conference on Software Engineering, 2002. ICSE 2002, page 266--276. IEEE, (May 2002)
V. Penichet, M. Lozano, J. Gallud, and R. Tesoriero. Proceedings of the 6th international conference on Task models and diagrams for user interface design, page 287--292. Berlin/Heidelberg, Springer-Verlag, (2007)