Tatami Project: distributed cooperative design, specification and validation
cseweb.ucsd.edu