Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29–30, 2013. Revised Selected Papers - Artho, Cyrille; Ölveczky, Peter Csaba (Springer International Publishing : Imprint: Springer, 2014)