Jost Berthold Rita Loogen Skeletons for Recursively Unfolding Process Topologies. 835-842 2005 conf/parco/2005 PARCO db/conf/parco/parco2005.html#BertholdL05