Pierce, K. and Hallerstede, S. 2013. Proceedings of the 11th Overture Workshop. Technical Report Electronics and Computer Engineering. 2, 17 (Sep. 2013). DOI:https://doi.org/10.7146/ece.v2i17.21232.