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