L. Barreto. "Engenharia de Domínio aplicada ao Desenvolvimento Robusto e Eficiente de Sistemas Operacionais", in Anais do XIX Simpósio Brasileiro de Engenharia de Software, Uberlândia/MG, 2005, pp. 136-151, doi: https://doi.org/10.5753/sbes.2005.23816.