Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System | IEEE Conference Publication | IEEE Xplore