Zbrzezny, A. M. “Comparing Sat-Based Bounded Model Checking Rtectl and Ectl Properties”. Technical Sciences, vol. 20, no. 2, Mar. 2017, pp. 131-47, doi:10.31648/ts.5147.