Automatic abstraction for worst-case analysis of discrete systems | IEEE Conference Publication | IEEE Xplore