Construction and Analysis of Transition Systems with MEC | lit.salon