Supervisory software development according to IEEE 1451.1 standard | IEEE Conference Publication | IEEE Xplore