A Temporal Logic with Mean-Payoff Constraints. - Takashi Tomita; Shin Hiura; Shigeki Hagihara; Naoki Yonezaki (ICFEM, 2012)