Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka, Hideki Imai. Formally verifiable features in embedded vehicular security systems. In IEEE Vehicular Networking Conference, VNC 2009, Tokyo, Japan, October 28-30, 2009. pages 1-7, IEEE, 2009. [doi]
Abstract is missing.