IDE & Navigation
Properties & Tools
An example of MBT modeling with submodel
This model was created from the real-world example in the book Practical Model-Based Testing: A Tools Approach, by Mark Utting, Bruno Legeard.
For more details about how the model was developed, please refer to the book on pages 168 - 183.