Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. - Harsha Tummala; Mikhail Auguston; James Bret Michael; Man-tak Shing; David Little; Zachary Pace (SoSE, 2006)