Final ECRTS14 code.

This patch encompasses all code updates for an ECRTS14 paper.