Energy Consumption Analysis of Programs based on XMOS ISA-Level Models by S. Kerrison, U. Liqat, K. Georgiou, A. Serrano, N. Grech, P. López-García, K. Eder and M.V. Hermenegildo. Published in Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR’13), September 2013.