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