The Principle of Firmware Management and Design Automation of Operating Devices. II - A. M. Petrushenko (Control Systems and Computers, 2020)