Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi: Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. Zenodo 2022