Automatic abstraction for verification of cyber-physical systems (2010)

by R A Thacker, K R Jones, C J Myers, H Zheng
Venue:In Proc. of ICCPS