Statistics for Network time : synchronisation in real time distributed computing systems