Martin Zimmermann: Parameterized linear temporal logics meet costs: still not costlier than LTL. Acta Informatica 55(2): 129-152 (2018)