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