Applying model-based testing to a train control system
Model-based testing of a reactive system with coloured Petri Nets
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of fault scenarios in production automation
STEVE : Schlussbericht für den Zeitraum 15.08.2014-30.09.2017