A Multiple Security Domain Model of a Drive-by-Wire System | IEEE Conference Publication | IEEE Xplore