Title: Construction and Analysis of Transition Systems with MEC
Subjects: Electronic data processing