An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. - Paul Baker; Clive Jervis; David J. King (Scottish Functional Programming Workshop, 1999)

Automatic Generation of Conformance Tests from Message Sequence Charts. - Paul Baker; Paul Bristow; Clive Jervis; David J. King; Bill Mitchell (SAM, 2002)

Leveraging UML to Deliver Correct Telecom Applications. - Sergey Baranov; Clive Jervis; Vsevolod Kotlyarov; Alexander A. Letichevsky; Thomas Weigert (UML for Real, 2003)

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

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)

Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. - Paul Baker; Clive Jervis (SDL Forum, 2007)

Experiences in Deploying Model-Driven Engineering. - Thomas Weigert; Frank Weil; Kevin Marth; Paul Baker; Clive Jervis; Paul H. Dietz; Yexuan Gui; Aswin van den Berg; Kim Fleer; David Nelson; Michael Wells; Brian E. Mastenbrook (SDL Forum, 2007)