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