16th International Symposium on Temporal Representation and Reasoning proceedings : Bressanone-Brixen, Italy 23-25 July 2009 / - Lutz, Carsten,; Raskin, Jean-François, (IEEE Computer Society,)