Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting | IEEE Journals & Magazine | IEEE Xplore