Harsha Tummala, Mikhail Auguston, James Bret Michael, Man-tak Shing, David Little, Zachary Pace. Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. In 1st IEEE/SMC International Conference on System of Systems Engineering, SoSE 2006, Los Angeles, CA, USA, 24-26 April 2006. pages 1-5, IEEE, 2006. [doi]
Abstract is missing.