Yamine Aït Ameur Frédéric Boniol Virginie Wiels ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 Revue des Nouvelles Technologies de l'Information RNTI-SM-1 2007 978-2-85428-814-8 Cépaduès-Éditions ISoLA db/conf/isola/isola2007.html