Zbrzezny, A. M. Comparing Sat-Based Bounded Model Checking Rtectl and Ectl Properties. ts 2017, 20, 131-147.