Robert E. Fields Nicholas A. Merriam Andrew M. Dearden DMVIS: Design, Modelling and Validation of Interactive Systems. 29-44 1997 conf/dsvis/1997 DSV-IS db/conf/dsvis/dsvis1997.html#FieldsMD97