Communicating real-time state machines - Shaw, Alan C. (1991)