Andrew Kay, Joy N. Reed. A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng., 19(6):625-639, 1993. [doi]
@article{KayR93,
title = {A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange},
author = {Andrew Kay and Joy N. Reed},
year = {1993},
url = {http://www.computer.org/tse/ts1993/e0625abs.htm},
tags = {design},
researchr = {https://researchr.org/publication/KayR93},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {19},
number = {6},
pages = {625-639},
}