An evaluation of the TCT tool for the synthesis of controllers of discrete event systems | IEEE Conference Publication | IEEE Xplore