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