TACAS presentations on PDR for Software and CPU Energy Meter are available.