Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language | IEEE Conference Publication | IEEE Xplore