Pierce, K. and Hallerstede, S. (2013) “Proceedings of the 11th Overture Workshop”, Technical Report Electronics and Computer Engineering, 2(17). Available at: https://tidsskrift.dk/ece/article/view/21232 (Accessed: 3 May 2024).