Zbrzezny AM. Comparing sat-based bounded model checking rtectl and ectl properties. ts [Internet]. 2017 Mar. 21 [cited 2025 Apr. 9];20(2):131-47. Available from: https://czasopisma.uwm.edu.pl/index.php/ts/article/view/5147