Two Decades of Temporal Logic: Achievements and Challenges | IEEE Conference Publication | IEEE Xplore