@inproceedings{inproceedings2d451633, title = {Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511}, author = {Squillante Junior, Reinaldo and Santos Filho, Diolino Jose dos and Martínez Riascos, Luis Alberto and Junqueira, Fabrício and Miyagi, Paulo Eigi}, year = {2011}, publisher = {Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM}, booktitle = {International Congress of Mechanical Engineering - COBEM 2011} }