Abdoulaye Gamatié Éric Rutten Huafeng Yu Pierre Boulet Jean-Luc Dekeyser Modeling and Formal Validation of High-Performance Embedded Systems. 215-222 2008 ISPDC http://dx.doi.org/10.1109/ISPDC.2008.28 conf/ispdc/2008 db/conf/ispdc/ispdc2008.html#GamatieRYBD08