Tatami Project: distributed cooperative design, specification and validationcseweb.ucsd.edu1 pointmontmorency886 years ago