Lichen Zhang. An integration approach to specify and model automotive cyber physical systems. In International Conference on Connected Vehicles and Expo, ICCVE 2012, Las Vegas, NV, USA, December 2-6, 2013. pages 568-573, IEEE, 2013. [doi]
Abstract is missing.