Zbrzezny, Agnieszka M. 2017. “Comparing Sat-Based Bounded Model Checking Rtectl and Ectl Properties”. Technical Sciences 20 (2):131-47. https://doi.org/10.31648/ts.5147.