Generation and verification of heterogeneous purchase processes

Andrei Popovici, Heiko Schuldt, Hans-Jörg Schek. Generation and verification of heterogeneous purchase processes. In TES. pages 5-22, 2000.