@misc{Woźna-Szcześniak_Bożena_Verifying_2011,
 author={Woźna-Szcześniak, Bożena and Zbrzezny, Agnieszka and Zbrzezny, Andrzej},
 type={artykuł},
 publisher={Wydawnictwo Akademii im. Jana Długosza w Częstochowie},
 title={Verifying RTECTL properties of a train controller system},
 address={Częstochowa},
 year={2011},
 language={eng},
}