T. Minamikawa, T. Tsuchiya, and T. Kikuno. PRDC '08: Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, page 40--47. Washington, DC, USA, IEEE Computer Society, (2008)
P. Murthy, P. Anitha, M. Mahesh, and R. Subramanyan. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 75--82. New York, NY, USA, ACM, (2006)
A. Neto, and R. de Mattos Fortes. Proceedings of the 28th ACM International Conference on Design of Communication, page 151--158. New York, NY, USA, ACM, (2010)