Automated Model-based Test Generation for Timed Systems by Elisangela Vieira