Automatically cross-checked design for multidisciplinary development of avionics systems | IEEE Conference Publication | IEEE Xplore