Compositional timing analysis. - Salah, Ramzi Ben; Bozga, Marius; Maler, Oded (2009)