Automated Model-based Test Generation for Timed Systems. An overview about models, specification languages and test generation approaches considering time constraintes