Model-based testing of fault scenarios in production automation
Model-based testing of automotive HMIs with consideration for product variability
Applying model-based testing to a train control system
Model-based testing of a reactive system with coloured Petri Nets