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