Filipovikj, P., Rodriguez-Navas, G. and 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. doi: 10.14279/tuj.eceasst.75.1054.