Abstraction from counters: an application on real-time systems | IEEE Conference Publication | IEEE Xplore