Pierce, K.; Hallerstede, S. Proceedings of the 11th Overture Workshop. ECE-TR 2013, 2.