Buckl, C.C.BucklKnoll, A.A.KnollSchieferdecker, I.I.SchieferdeckerZander, J.J.Zander2022-03-112022-03-112010https://publica.fraunhofer.de/handle/publica/36961410.1007/978-3-642-16277-0_10en004Model-based analysis and development of dependable systemsconference paper