@proceedings {64214,
	title = {Verification of dangerous and safe behaviors independence in safety instrumented systems},
	journal = {2017 5th International Conference on Electrical Engineering-Boumerdes (ICEE-B)},
	year = {2017},
	month = {2017},
	pages = {1-7},
	publisher = {IEEE},
	isbn = {1-5386-0686-0},
	author = {Omeiri, Hanane and Hamaidi, Brahim and Innal, Fares and Chebila, Mourad and Yves Dutuit}
}
