Zbrzezny, Agnieszka M. “Comparing Sat-Based Bounded Model Checking Rtectl and Ectl Properties”. Technical Sciences 20, no. 2 (March 21, 2017): 131–147. Accessed April 8, 2025. https://czasopisma.uwm.edu.pl/index.php/ts/article/view/5147.