Nissan, Ephraim (1999) Guest Editorial. Special Issue: Temporal logic in engineering. AI EDAM (Artificial Intelligence for Engineering Design, Analysis and Manufacturing), 13 (2). p. 65. ISSN 0890-0604 (Print), 1469-1760 (Online)