related documents Automatic abstraction for verification of cyber-physical systems Conference Proceeding
