@book{3.98420144,
  title={Verificação formal de sistemas digitais embarcados},
  author={Nayara de Souza SILVA and Vaston Gonçalves da COSTA and Marcelo Henrique Stoppa},
  year={2017},
  publisher={Blucher Open Access}
}