Hierarchical symbolic analysis of large-scale systems using a Mason's signal flow graph model | IEEE Conference Publication | IEEE Xplore