HYST: a source transformation and translation tool for hybrid automaton models. - Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T. (2015)