Développement formel de systèmes automatisés. (Formal development of automated systems). - Olfa Mosbahi-Khalgui (2008)