1. At a device, a method implemented on a processor, said method comprising: identifying one or more correlation events occurring between a first device having a first clock and a second device having a second clock; determining that a solution set for an expression of the differences between said first clock and said second clock is not bounded, the solution set defining a linear relationship between said first clock and said second clock based on said one or more correlation events; in response to determining that said solution set is not bounded: identifying a further correlation event between said first device and said second device; calculating a linear inequality for said further correlation event; and including said linear inequality in said solution set; determining that said solution set including said linear inequality is a bounded solution set; identifying an additional event not being one of said one or more correlation events, said additional event having a first timestamp defined by said second clock; and using said bounded solution set to determine a second timestamp from said first timestamp, said second timestamp being with respect to said first clock.