A Flipped Classroom for PLTL