Bill Mitchell Robert Thomson Clive Jervis Phase Automaton for Requirements Scenarios. 77-84 2003 conf/fiw/2003 FIW db/conf/fiw/fiw2003.html#MitchellTJ03