Return to Issue Details Modelling and validation of non-deterministic clock synchronisation algorithms Download Download PDF