Olfa Mosbahi Leila Jemni Ben Ayed Samir Ben Ahmed Jacques Jaray A Specification and Validation Technique Based on STATEMATE and FNLOG. 216-220 2002 conf/icfem/2002 ICFEM http://link.springer.de/link/service/series/0558/bibs/2495/24950216.htm db/conf/icfem/icfem2002.html#MosbahiJAJ02