Verification of infinite-state dynamic systems using approximate quotient transition systems | IEEE Journals & Magazine | IEEE Xplore