Remarks on the difficulty of top-down supervisor synthesis | IEEE Conference Publication | IEEE Xplore