Wolff, S. and Fitzgerald, J. (2012) “Proceedings of the 9th Overture Workshop”, Technical Report Electronics and Computer Engineering, 1(2). doi: 10.7146/ece.v1i2.21217.