4 ms·Tatami Project: distributed cooperative design, specification and validation1 points by montmorency88 7y ago