Computer-aided-manipulation of Mason's formula and its application | IEEE Conference Publication | IEEE Xplore