Larsen, P. G.; Plat, N.; Battle, N. The 14th Overture Workshop: Towards Analytical Tool Chains. ECE-TR 2016, 4.