The Formal Specification and Implementation of a Modest First Order Temporal Logic. - Sharad Sachdev; André Trudel (IEA/AIE, 2000)