Filipovikj, P., Rodriguez-Navas, G., & Seceleanu, C. (2018). Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. Electronic Communications of the EASST, 75. https://doi.org/10.14279/tuj.eceasst.75.1054