ArchiSurance 3.1 Case Study (revised)