Energy modelling and optimisation of software for a hardware multi-threaded embedded microprocessor by S. Kerrison and K. Eder. Submitted to ACM Transactions in Embedded Computing Systems (TECS).