Mark Schulte Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study. 62-71 2005 conf/isorc/2005 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.34 db/conf/isorc/isorc2005.html#Schulte05