Larsen, P.G., Plat, N. and Battle, N. 2016. The 14th Overture Workshop: Towards Analytical Tool Chains. Technical Report Electronics and Computer Engineering. 4, 28 (Nov. 2016).