@misc { macferpro1997, author = "Machado, Ricardo J. and Fernandes, João M. and Proença, Alberto José", title = "Redes de Petri e VHDL na prototipagem rápida de sistemas digitais", year = "1997" }