Mikhail Auguston James Bret Michael Man-tak Shing Environment behavior models for scenario generation and testing automation. 2005 conf/amost/2005 A-MOST http://doi.acm.org/10.1145/1083274.1083284 db/conf/amost/amost2005.html#AugustonMS05