Xudong He: A method for analyzing properties of hierarchical predicate transition nets. COMPSAC 1995: 50-55