Model-based functional safety analysis method for automotive embedded system application | IEEE Conference Publication | IEEE Xplore