Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software