_id,doi,title
4589,10.1006/inco.1993.1025,Real-time logics: Complexity and expressiveness