Construction and analysis of transition systems with MEC | lit.salon