Remarks on the SHR-Optimal State Assignment Procedure | IEEE Journals & Magazine | IEEE Xplore