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.