M. Tkaczyk, “A spurious confusion in temporal logic”, LLP, vol. 24, no. 2, pp. 201–216, Dec. 2014.