Tech Talk: ONOS- A Distributed SDN Network Operating System
1 Statecharts by David Harel, 1987 State machines ⊆ statecharts A state machine consists of Named states Transitions between states Events as labels.