Tomás Masopust, Markus Krötzsch: Deciding Universality of ptNFAs is PSpace-Complete. SOFSEM 2018: 413-427