Man pages matching name lts2lps in section 1:

lts2lps.1.en

debian 10 / mcrl2