Design of protocols in Timed CSP for highly reliable and available client-server system | IEEE Conference Publication | IEEE Xplore