McFSM: Globally Taming Complex Systems. - Florian Murr; Wolfgang Mauerer (SEsCPS@ICSE, 2017)