T Basten, E Van Benthum, M Geilen… - … Applications of Formal …, 2010 - Springer
The complexity of today's embedded systems and their development trajectories requires a
systematic, model-driven design approach, supported by tooling wherever possible. Only …