Extraction and representation of a supervisor using guards in extended finite automata | IEEE Conference Publication | IEEE Xplore