Baumgarten, B.B.Baumgarten2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327644en005004Timed systems behaviour and conformance testing - a mathematical frameworkconference paper