K. Pierce and S. Hallerstede, “Proceedings of the 11th Overture Workshop”, ECE-TR, vol. 2, no. 17, Sep. 2013.