Schieferdecker, I.I.SchieferdeckerGroßmann, J.J.Großmann2022-03-042022-03-042008https://publica.fraunhofer.de/handle/publica/21654910.1007/s10009-008-0081-2en004005Testing hybrid control systems with TTCN-3journal article