A matrix-based approach for supervising and controlling timed Discrete Event System | IEEE Conference Publication | IEEE Xplore