P. G. Larsen, N. Plat, og N. Battle, “The 14th Overture Workshop: Towards Analytical Tool Chains”, ECE-TR, bd. 4, nr. 28, nov. 2016.