Model based implementation of supervisors and diagnosers in VHDL code of programmable systems | IEEE Conference Publication | IEEE Xplore