A study on static analysis in network of synchronizing FSMs | IEEE Conference Publication | IEEE Xplore