P. Sampaio, R. de Freitas, and G. Cardoso. GRAPP, page 524-532. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2008)
P. Sampaio, L. Peralta, and J. Pereira. GRAPP, page 512-518. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2008)
J. Iyoda, A. Sampaio, and L. Silva. World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1400-1419. Springer, (1999)