B. Lorente R. Aragonés J. Oliver C. Ferrer Behavioural modelling and simulation for heterogeneous design applied to aerospace inertial microinstrumentation development. 551-558 2007 SCSC http://doi.acm.org/10.1145/1357910.1357997 conf/scsc/2007 db/conf/scsc/scsc2007.html#LorenteAOF07