Timed Boolean calculus and its applications in timing analysis | IEEE Journals & Magazine | IEEE Xplore