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