Applying the recipe to the Airconditioning example yields the following figures.
Context Diagram:
Class Diagram with interface:
Protocol State Machine (server role):
Composite Structure Diagram:
Airco Sequence Diagram:
Finite State Machine:
Generated sequence diagram from verification scenario: