Pierce, K., and S. Hallerstede. “Proceedings of the 11th Overture Workshop”. Technical Report Electronics and Computer Engineering, vol. 2, no. 17, Sept. 2013, https://tidsskrift.dk/ece/article/view/21232.