Signal transition graph transformations for initializability | IEEE Conference Publication | IEEE Xplore