A risk-driven design model for embedded system | IEEE Conference Publication | IEEE Xplore