Tabled resolution + constraints: a recipe for model checking real-time systems | IEEE Conference Publication | IEEE Xplore