A Model-Based Approach for Early and Continuous Validation of Avionics Platforms up to Virtual Products and Hybrid Platforms | IEEE Conference Publication | IEEE Xplore