Statistics of Automated requirements-driven testing of embedded systems based on use case specifications and timed automata