Omeiri H, Hamaidi B, Innal F, Chebila M, Dutuit Y. Verification of dangerous and safe behaviors independence in safety instrumented systems. 2017 5th International Conference on Electrical Engineering-Boumerdes (ICEE-B). 2017 :1-7.