@mastersthesis{mastersthesisd1d690d3,
title   = {Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança},
author = {Ferrarezi, Rodrigo Cesar and Santos Filho, Diolino Jose dos},
year = {2014},
school = {Universidade de São Paulo}
}