Marcos Kalinowski
Emília Mendes
Guilherme Horta Travassos
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering