@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}
}