Cyber-physical-social system in intelligent transportation
Automatic abstraction for verification of cyber-physical systems