A multi-level requirements modeling for sociotechnical system simulation-based checking. - Sophie Prat; Philippe Rauffet; Pascal Berruet; Alain Bignon (SMC, 2016)

Intégration de techniques de vérification par simulation dans un processus de conception automatisée de contrôle commande. (Integration of simulation-based checking into an automated design approach of control-monitoring system). - Sophie Prat (2017)