PLTL: Practice and Research