@misc{Zbrzezny_Agnieszka_SMT-based_2015,
 author={Zbrzezny, Agnieszka and Zbrzezny, Andrzej},
 type={artykuł},
 publisher={Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie},
 title={SMT-based reachability analysis for Simply-Timed Systems},
 address={Częstochowa},
 year={2015},
 language={eng},
}