Larsen, Peter Gorm, Nico Plat, and Nick Battle. 2016. “The 14th Overture Workshop: Towards Analytical Tool Chains”. Technical Report Electronics and Computer Engineering 4 (28). https://tidsskrift.dk/ece/article/view/24731.