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