An integration approach to specify and model automotive cyber physical systems | IEEE Conference Publication | IEEE Xplore