publication venue for HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata 2009