"HYST: a source transformation and translation tool for hybrid automaton ..."

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics