Baumgarten, B.Burkhardt, H.-J.Giessler, A.2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327420entestingformal modelprotocol005004conference proceeding