A. M. Zbrzezny, “Comparing sat-based bounded model checking rtectl and ectl properties”, ts, vol. 20, no. 2, pp. 131–147, Mar. 2017.