Peter Buchholz Hierarchical Structuring of Superposed GSPNs. 166-181 http://www.computer.org/tse/ts1999/e0166abs.htm 1999 25 IEEE Trans. Software Eng. 2 db/journals/tse/tse25.html#Buchholz99