Wolff, Sune, og John Fitzgerald. “Proceedings of the 9th Overture Workshop”. Technical Report Electronics and Computer Engineering, bd. 1, nr. 2, marts 2012, doi:10.7146/ece.v1i2.21217.