Testing hybrid systems with TTCN-3 - Großmann, Jürgen (2014)