Filipovikj, P. et al. 2018. Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. Electronic Communications of the EASST. 75, (Oct. 2018). DOI:https://doi.org/10.14279/tuj.eceasst.75.1054.