@misc{Woźna-Szcześniak_Bożena_SAT-based_2015,
 author={Woźna-Szcześniak, Bożena and Szczesniak, Ireneusz},
 type={artykuł},
 publisher={Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie},
 title={SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties},
 address={Częstochowa},
 year={2015},
 language={eng},
}