Pierce, K., & Hallerstede, S. (2013). Proceedings of the 11th Overture Workshop. Technical Report Electronics and Computer Engineering, 2(17). Retrieved from https://tidsskrift.dk/ece/article/view/21232