Hélène Waeselynck Salimeh Behnia B Model Animation for External Verification. 36-45 1998 ICFEM http://computer.org/proceedings/icfem/9198/91980036abs.htm db/conf/icfem/icfem1998.html#WaeselynckB98