Statechart: Device / OperationalState