@inbook{inbooka1fda964,
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 = {2012},
publisher = {ABCM},
journal   = {ABCM Symposium Series in Mechatronics}
}