Construction and analysis of transition systems with mec - Arnold, André (World Scientific, 1994)