Phase Automaton for Requirements Scenarios. - Bill Mitchell; Robert Thomson 002; Clive Jervis (FIW, 2003)

Scenario Synthesis from Imprecise Requirements. - Bill Mitchell; Robert Thomson 002; Paul Bristow (SAM, 2004)

Model Synthesis from Imprecise Specifications. - Bill Mitchell; Robert Thomson 002; Paul Bristow (VVEIS, 2004)

Detecting and resolving semantic pathologies in UML sequence diagrams. - Paul Baker; Paul Bristow; Clive Jervis; David J. King; Robert Thomson 002; Bill Mitchell; Simon Burton 001 (ESEC/SIGSOFT FSE, 2005)