Zbrzezny, Agnieszka M. „Comparing Sat-Based Bounded Model Checking Rtectl and Ectl Properties”. Technical Sciences, t. 20, nr 2, marzec 2017, s. 131-47, doi:10.31648/ts.5147.