Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars - Kochems, J; Ong, C (2011)