At 15:51 29/04/03 +1000, Richard Chirgwin wrote: >PS, Thinks...Can't remember the correct symbols or sequences for a >state machine, but: I'll happily loan a copy of "Strategies for Real-Time System Specification" Hatley and Pirbhai which (inter alia) uses a Vending Machine as an example.