This is the serial case example from:

R.J. Leduc.  Hierarchical Interface-based Supervisory
Control. Doctoral Thesis, Dept. of Elec. & Comp. Engrg., Univ. of
Toronto, 2002.  

http://www.cas.mcmaster.ca/~leduc/