Assertion: machine's state | /r/CapableOf | receive hot event
Facets:
Source sentences:
text: Substate Example - Heater State Machine Diagrams are often used for deriving testing cases, here is a list of possible test ideas: Idle state receives Too Hot event