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