Bill Mitchell Robert Thomson Paul Bristow Model Synthesis from Imprecise Specifications. 20-25 2004 conf/vveis/2004 VVEIS db/conf/vveis/vveis2004.html#MitchellTB04