Müllerburg, M.M.MüllerburgBudde, R.R.Budde2022-03-092022-03-091998https://publica.fraunhofer.de/handle/publica/332066de005006629Validation und Verification in Synchronie: Synchronous Eifelconference paper