Xavier Faure: Approche formelle pour la simulation interactive de modèles mixtes. (A formal approach for the interactive simulation of mixed models). Claude Bernard University Lyon 1, France 2014