Supervisor Synthesis Using Boolean Matrix Computation. - Joon Hwa Lee; Wook Hyun Kwon; Hyeokgi Park; Hong Sung Park (ICRA (1), 1993)