State assignment algorithms for parallel controller synthesis | IEEE Conference Publication | IEEE Xplore