Watching The Horologists INF385T Design Synthesis

This formal diagram shows the details of the iterative process of setting the timing on a newly rebuilt watch