Zbrzezny, Agnieszka M. „Comparing Sat-Based Bounded Model Checking Rtectl and Ectl Properties”. Technical Sciences 20, no. 2 (marzec 21, 2017): 131–147. Dostęp listopad 11, 2026. https://czasopisma.uwm.edu.pl/index.php/ts/article/view/5147.