DOI,IST REx ID,Title of publication
10.1007/3-540-58468-4_173,4440,Verification methods for the divergent runs of clock systems