Model Based Development Methodology in Compliance with ISO 26262 for Safe Automotive ECU | IEEE Conference Publication | IEEE Xplore