P. Filipovikj, G. Rodriguez-Navas, and C. Seceleanu, “Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience”, eceasst, vol. 75, Oct. 2018.