A Formal Method Applied to the Automated Software Engineering with Quality Guarantees. - Marcelo Teixeira; Richardson Ribeiro; Marco A. C. Barbosa; Luciene Marin (ISSRE Workshops, 2014)