Zbrzezny, A.M. 2017. Comparing sat-based bounded model checking rtectl and ectl properties. Technical Sciences. 20, 2 (Mar. 2017), 131–147. DOI:https://doi.org/10.31648/ts.5147.