Querying Trajectories through Model Checking based on Timed Automata. - Diego V. Simões S.; Henrique Viana; Nicolas Markey; José Antônio Fernandes de Macêdo (SBBD (Short Papers), 2012)