Warm up (2) In all airborne states,when yellow handle is pulled seat will be ejected calls for the ability to cluster states into a superstate Gearbox change of state is independent of braking system introduces independence,or orthogonality When selection button is pressed enter selected mode hints at the need for more general transitions than the single event-labelled arrow Display-mode consists of time-display,date-display and stopwatch-display captures the refinement of states Tian Zhang Nanjing University 9Tian Zhang @ Nanjing University 9 Warm up (2) „ In all airborne states, when yellow handle is pulled seat will be ejected ‰ calls for the ability to cluster states into a superstate „ Gearbox change of state is independent of braking system ‰ introduces independence, or orthogonality „ When selection button is pressed enter selected mode ‰ hints at the need for more general transitions than the single event-labelled arrow „ Display-mode consists of time-display, date-display and stopwatch-display ‰ captures the refinement of states