Nicole Bidoit Matthieu Objois Temporal Query Languages Expressive Power: µTL versus T-WHILE. 74-82 2005 conf/time/2005 TIME http://dx.doi.org/10.1109/TIME.2005.35 db/conf/time/time2005.html#BidoitO05