A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages | IEEE Journals & Magazine | IEEE Xplore