Vítor Nogueira Salvador Abreu Modularity and Temporal Reasoning: A Logic Programming Approach. 191 2007 conf/time/2007 TIME http://doi.ieeecomputersociety.org/10.1109/TIME.2007.53 db/conf/time/time2007.html#NogueiraA07