Paul Baker Paul Bristow Clive Jervis David J. King Bill Mitchell Automatic Generation of Conformance Tests from Message Sequence Charts. 170-198 2002 conf/sam/2002 SAM http://link.springer.de/link/service/series/0558/bibs/2599/25990170.htm db/conf/sam/sam2002.html#BakerBJKM02