repository of my pdf thesis - Precision Timed Machines