Yamine Aït Ameur Remi Delmas Virginie Wiels A framework for heterogeneous formal modeling and compositional verification of avionics systems. 223-232 2004 conf/memocode/2004 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2004.1459858 db/conf/memocode/memocode2004.html#AmeurDW04