Model-based functional safety for the embedded software of automobile power window system | IEEE Conference Publication | IEEE Xplore