Parallel Transportation Management and Control System and Its Applications in Building Smart Cities
Automatic abstraction for verification of cyber-physical systems