Guaranteeing temporal validity with a real-time logic of knowledge | IEEE Conference Publication | IEEE Xplore