Adenilso Simão, Simone Souza, and José Maldonado. 2003.
 A Family of Coverage Testing Criteria for Coloured Petri Nets. In <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, outubro 08, 2003, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 205-220. DOI: <a href="https://doi.org/10.5753/sbes.2003.23862">https://doi.org/10.5753/sbes.2003.23862</a>.