Model-based specification and validation of automotive electronics | IEEE Conference Publication | IEEE Xplore