An Integrated Automotive Software Development and Validation System Based on CASOS-OSEK | IEEE Conference Publication | IEEE Xplore