Formalizing safety requirements using controlling automata (2009)

by Z Chen, G Motet
Venue:in Proceedings of the Second International Conference on Dependability (DEPEND’09). IEEE Computer Society