Verificação formal de sistemas modelados em estados finitos. - Ferreira, Nelson França Guimarães (2006)