@misc{Mieścicki_Jerzy_The,
 author={Mieścicki, Jerzy},
 howpublished={online},
 publisher={Wydaw. Uniwersytetu Marii Curie-Skłodowskiej},
 language={eng},
 type={artykuł},
 title={The use of model checking and the COSMA environment in the design of reactive systems},
}