castro_miranda_david_PEC2_SMT