publication venue for Automated selection, sizing, and mapping of integrated modular avionics modules 2013 Sandra flight trials - Concept, validation, and results 2013