_id,doi,title
4522,10.1145/93385.93429,Half-order modal logic: How to prove real-time properties