Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In: B2011.