PLTL Engineering and Computer Science