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