LeeTL: LTL with quantifications over model objects. - Pouria Mellati; Ehsan Khamespanah; Ramtin Khosravi (SPIN, 2017)