Lomakin V. V., Zaitseva T. V., Putivtseva N. P., Petina M. A., Zaitsev I. M. Formal Methods of Analysis and Synthesis for Decisions Options During Corporate Information System Development. IJAST 2020, 29, 742 - 747.