@conference{Rodrigues13PADL,
  title={{A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction}},
  author = 	 {Rodrigues, Vitor and Akesson, Benny and Melo de Sousa, Simao and Florido, Mario},
  booktitle = {Proc. Fifteenth International Symposium on Practical Aspects of Declarative Languages (PADL)},
  year={2013}
}