DOI,IST REx ID,Title of publication
10.1145/93385.93429,4522,Half-order modal logic: How to prove real-time properties