Florent Ouchet Dominique Borrione Katell Morin-Allory Laurence Pierre High-level symbolic simulation for automatic model extraction. 218-221 2009 DDECS http://dx.doi.org/10.1109/DDECS.2009.5012132 conf/ddecs/2009 db/conf/ddecs/ddecs2009.html#OuchetBMP09