Zbrzezny AM, Zbrzezny A. Checking RTECTL properties of STSs via SMT-based Bounded Model Checking. International Journal of Interactive Multimedia and Artificial Intelligence. 2015;3(Regular Issue):28-35. Abstract  Download: ijimai20153_5_4.pdf (2.19 MB)