An event-based real-time logic to specify the behavior and timing properties of real-time systems | IEEE Conference Publication | IEEE Xplore