Demonstrate 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. Below is an exerpt from the book:

Qui-Donc (literal translation, “Who then?”) is a service provided by France Telecom that does the opposite of the white pages - it allows you to enter a telephone number and find out the name and address associated with the number.

You can find more details about this model from the book page 140-157.