On supervisor synthesis theorem and its application to embedded systems | IEEE Conference Publication | IEEE Xplore