PLTL: Origins, Research and Practice