Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. - Noriki Ogura; Keizo Saisho; Akira Fukuda (APSEC, 1997)