Formal Techniques for Safety-Critical Systems - Cyrille Artho, Peter Csaba Ã–lveczky; Ölveczky, Peter Csaba (Springer International Publishing, 2014)