A Methodology for Automatic Formal Verification of Enterprise Architecture. - Eduard Babkin; Pavel Malyzhenkov; Marina Ivanova; Nikita Ponomarev (Int. J. Inf. Syst. Model. Des., 2019)