added PLTL sessions