Eric Conquet Jean-Luc Marty Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. 57-75 1999 conf/fm/1999-1 World Congress on Formal Methods http://link.springer.de/link/service/series/0558/bibs/1708/17080057.htm db/conf/fm/fm1999-1.html#ConquetM99