 Four years later in 1981 E. M. Clarke and E. A. Emerson invented CTL and CTL model checking.CTL* was defined by E. A. Emerson and Joseph Y. Halpern in 1983.CTL and LTL were developed independently before CTL*.