@article{=Ferrarezi20144, title = "FRAMEWORK PARA O DESENVOLVIMENTO DE PROGRAMAS DE CONTROLES DE SIS BASEADO NA NORMA IEC 61511", journal = "Blucher Mathematical Proceedings", volume = "1", number = "1", pages = "337-346", year = "2015", note = issn = "em b-reve" doi ="http://dx.doi.org/10.5151/mathpro-cnmai-0058", url ="https://www.proceedings.blucher.com.br/", author = "Ferrarezi,Rodrigo Cesar", author = "Squillante Júnior,Reinald", author = "Souza,Jeferson A. L.", author = "Silva,José Reinaldo", author = "Miyagi,Paulo Eigi", author = "Moscato,Lucas Antonio", author = "Filho,Diolino J. Santos", keywords = "IEC 61511, SIS de mitigação e prevenção, Model Checking, GHENeSys", keywords = "IEC 61511, prevention and mitigation SIS, Model Checking, GHENeSys", }