Mathematical maintenance of automation of development and check of the programs of microcontrollers | IEEE Conference Publication | IEEE Xplore