Click on the title to view the text: Salimova, Tatiana; Vuković, Natalia; Guskova, Nadezhda; and Krakovskaya, Irina Industry 4.0 and Society 5.0: Challenges and Opportunities, The Case Study of Russia Mathematical Model Checking Based on Semantics and SMT