Larsen, Peter Gorm, m.fl. “The 14th Overture Workshop: Towards Analytical Tool Chains”. Technical Report Electronics and Computer Engineering, bd. 4, nr. 28, november 2016, doi:10.7146/ece.v4i28.24731.