Simão, A., 		Souza, S., & 		Maldonado, J.
(2003).
A Family of Coverage Testing Criteria for Coloured Petri Nets.
In <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, (pp. 205-220). Porto Alegre: SBC.
doi:10.5753/sbes.2003.23862