Yamine Aït Ameur Remi Delmas Alexandre Cortier Virginie Wiels Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. 36-44 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.11 conf/isola/2006 db/conf/isola/isola2006.html#AmeurDCW06