Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers - Artho, Cyrille 1976-; Ölveczky, Peter Csaba (Springer, 2017)