Cássio L. Rodrigues, Fabio Jorge Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher. Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 2093-2098, IEEE, 2008. [doi]