An efficient algorithm for the realizability analysis of signal transition graphs | IEEE Conference Publication | IEEE Xplore