Santen, T.T.SantenHeisel, M.M.HeiselZimmermann, D.D.Zimmermann2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/325531en004006400Tool support for formal software development: A generic architectureconference paper