Parker, David, Papadopoulos, Yiannis, "Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance", , 2010