@InProceedings{WKTZ04,
author={X. Wang and M. Kwiatkowska and G. Theodoropoulos and Q. Zhang},
title={Towards a unifying {CSP} approach for hierarchical verification of asynchronous hardware},
booktitle={Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04)},
year={2004},

editor={},
pages={231-246},
organization={},
publisher={Elsevier Science},
series={Electronic Notes in Theoretical Computer Science},
volume={128(6)},
address={},
month={},
note={},
key={}
}