_id,doi,title
4440,10.1007/3-540-58468-4_173,Verification methods for the divergent runs of clock systems