Larsen, Peter Gorm, et al. “The 14th Overture Workshop: Towards Analytical Tool Chains”. Technical Report Electronics and Computer Engineering, vol. 4, no. 28, Nov. 2016, doi:10.7146/ece.v4i28.24731.