Undecidability and Temporal Logic: Some Landmarks from Turing to the Present | IEEE Conference Publication | IEEE Xplore