Yamine Aït Ameur Benoit Breholée Patrick Girard Laurent Guittet Francis Jambon Formal Verification and Validation of Interactive Systems Specifications. 61-76 2004 conf/ifip13/2004 Human Error, Safety and Systems Development db/conf/ifip13/ifip13-2004.html#AmeurBGGJ04