Automated Modeling Verification Complex of the Intelligent Instrument System. - Volodymyr Kvasnikov; Lyudmyla Kuzmych; Svitlana Yehorova; Andriy Kuzmych; Vasyl Guryn (ICST, 2023)