P. G. Larsen, N. Plat, and N. Battle, “The 14th Overture Workshop: Towards Analytical Tool Chains”, ECE-TR, vol. 4, no. 28, Nov. 2016.