Filipovikj, Predrag, et al. “Model-Checking-Based Vs. SMT-Based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience”. Electronic Communications of the EASST, vol. 75, Oct. 2018, doi:10.14279/tuj.eceasst.75.1054.