Filipovikj, Predrag, Guillermo Rodriguez-Navas, and Cristina Seceleanu. “Model-Checking-Based Vs. SMT-Based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience”. Electronic Communications of the EASST 75 (October 17, 2018). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/2216.