Pierce, Ken, and Stefan Hallerstede. “Proceedings of the 11th Overture Workshop”. Technical Report Electronics and Computer Engineering 2, no. 17 (September 2, 2013). Accessed February 6, 2026. https://tidsskrift.dk/ece/article/view/21232.