Wolff, S., and J. Fitzgerald. “Proceedings of the 9th Overture Workshop”. Technical Report Electronics and Computer Engineering, vol. 1, no. 2, Mar. 2012, https://tidsskrift.dk/ece/article/view/21217.