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