TY - CONF T1 - FRAMEWORK PARA O DESENVOLVIMENTO DE PROGRAMAS DE CONTROLES DE SIS BASEADO NA NORMA IEC 61511 JO - Blucher Mathematical Proceedings VL - 1 IS - 1 SP - 337 EP - 346 PY - 2015 T2 - Congresso Nacional de Matemática Aplicada à Indústria AU - Ferrarezi,Rodrigo Cesar AU - Squillante Júnior,Reinald AU - Souza,Jeferson A. L. AU - Silva,José Reinaldo AU - Miyagi,Paulo Eigi AU - Moscato,Lucas Antonio AU - Filho,Diolino J. Santos SN - em b-reve DO - http://dx.doi.org/10.5151/mathpro-cnmai-0058 UR - https://www.proceedings.blucher.com.br/ KW - IEC 61511, SIS de mitigação e prevenção, Model Checking, GHENeSys KW - IEC 61511, prevention and mitigation SIS, Model Checking, GHENeSys ER -