PIERCE, Ken; HALLERSTEDE, Stefan. Proceedings of the 11th Overture Workshop. Technical Report Electronics and Computer Engineering, [S. l.], v. 2, n. 17, 2013. DOI: 10.7146/ece.v2i17.21232. Disponível em: https://tidsskrift.dk/ece/article/view/21232. Acesso em: 5 dec. 2025.