Schieferdecker, I.K.I.K.SchieferdeckerRennoch, A.A.Rennoch2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327674en004Formal based conformance and performance testingconference paper