A simulated annealing based state assignment approach for control synthesis | IEEE Conference Publication | IEEE Xplore