Josef Hinterplattner Heinrich Nirschl Heinz Saria Process Topology Diagrams. 443-458 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#HinterplattnerNS90