Recursive Decomposition of Progress Graphs. - David A. Cape; Bruce M. McMillin; Benjamin W. Passer; Mayur Thakur (SSIRI, 2009)