1. Lecture Notes in Computer Science;X. Chen,2007
2. Lecture Notes in Computer Science;X. Chen,2007
3. Chen, Z., Hannousse, A.H., Hung, D.V., Knoll, I., Li, X., Liu, Y., Liu, Z., Nan, Q., Okika, J.C., Ravn, A.P., Stolz, V., Yang, L., Zhan, N.: Modelling with relational calculus of object and component systems–rCOS. In: Rausch et al [ 18], ch. 3
4. Lecture Notes in Computer Science;Z. Chen,2007
5. Chen, Z., Liu, Z., Stolz, V.: The rCOS tool. In: Fitzgerald, J., Larsen, P.G., Sahara, S. (eds.) Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. CS-TR-1099 in Technical Report Series, Newcastle University (May 2008)