The Automated System for Parametric and Functional Control of the Logic ICSGeorge Davydov, Аnna Kolosova, Adeliya Sharipova and Dmitriy BoychenkoMATEC Web Conf., 79 (2016) 01071DOI: https://doi.org/10.1051/matecconf/20167901071