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