Andrei Popovici Heiko Schuldt Hans-Jörg Schek Generation and verification of heterogeneous purchase processes. 5-22 2000 TES db/conf/tes/tes2000.html#PopoviciSS00