Filipovikj, Predrag, Guillermo Rodriguez-Navas, and Cristina Seceleanu. 2018. “Model-Checking-Based Vs. SMT-Based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience”. Electronic Communications of the EASST 75 (October). https://doi.org/10.14279/tuj.eceasst.75.1054.