@conference {12782,
	title = {The integrated CWB-NC/PIOAtool for functional verification and performance analysis of concurrent systems},
	booktitle = {Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems},
	year = {2003},
	month = {2003///},
	pages = {431 - 436},
	author = {Zhang,D. and Cleaveland, Rance and Stark,E. W}
}
