A generalized state assignment theory for transformations on signal transition graphs | IEEE Conference Publication | IEEE Xplore