Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados - Xavier, Christophe Saint-Christie de Lima (2011)