Filipovikj, P.; Rodriguez-Navas, G.; Seceleanu, C. Model-Checking-Based Vs. SMT-Based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. eceasst 2018, 75.