Computationally efficient supervisor design for discrete-event systems | lit.salon