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