TCT: A Computation Tool for Supervisory Control Synthesis | IEEE Conference Publication | IEEE Xplore