Gerry Howser, Bruce McMillin. A Multiple Security Domain Model of a Drive-by-Wire System. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 369-374, IEEE Computer Society, 2013. [doi]
Abstract is missing.