Pierce, Ken, and Stefan Hallerstede. “Proceedings of the 11th Overture Workshop”. Technical Report Electronics and Computer Engineering, vol. 2, no. 17, Sept. 2013, doi:10.7146/ece.v2i17.21232.