The use of model checking and the COSMA environment in the design of reactive systems - Mieścicki, Jerzy (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)