@misc{Strug_Joanna_Validation,
 author={Strug, Joanna and Deniziak, Stanisław and Sapiecha, Krzysztof},
 howpublished={online},
 publisher={Wydaw. Uniwersytetu Marii Curie-Skłodowskiej},
 language={eng},
 type={artykuł},
 title={Validation of reactive embedded systems against specification requirements},
}