Formalized approach to the design of microprocessor systems with elements of human-machine interaction Journal title: Modern Innovations, Systems and Technologies Authors: I. V. Kovalev, V. V. Losev, A. O. Kalinin Subject(s): Engineering, Environmental Sciences, Materials Science, Management Information Systems, Technological Change, Control Systems, Control and Optimization, Innovation