Precision Timed Machines