Großmann, J.J.GroßmannSerbanescu, D.D.SerbanescuSchieferdecker, I.I.Schieferdecker2022-03-112022-03-112009https://publica.fraunhofer.de/handle/publica/36269710.1109/ICST.2009.37en004Testing embedded real time systems with TTCN-3conference paper