The DeviceStateMachine provides a domain-specific view of the device's state. It reflects the condition of the Device itself.