Construction and analysis of transition systems with MEC - Arnold, A. 1945-) (AMAST series in computing, 1994)