Wolff, S. and Fitzgerald, J. (2012) “Proceedings of the 9th Overture Workshop”, Technical Report Electronics and Computer Engineering, 1(2). Available at: https://tidsskrift.dk/ece/article/view/21217 (Accessed: 2 May 2024).