Play to Test: Software testing as reachability games against nature (2005) [pdf]
microsoft.com