Automated System Testing of Real-Time Embedded Systems Based on Environment Models