Baeten, J. C. M. and Bergstra, J. A., 1991: Real time process algebra, *Formal Aspects Comput*. **3**, 142-188.

Cerone, A., 2000: *Process Algebra Versus Axiomatic Specification of a Real-Time Protocol, Vol*. *1816*, LNCS, Springer-Verlag, Berlin, pp. 57-67.

Derrick, J. and Boiten, E., 2001: *Refinement in Z and Object-Z: Foundations and Advanced Applications,* Springer-Verlag, London.

Dierks, H., 2000: *A Process Algebra for Real-Time Programs, Vol*. *1783*, LNCS, Springer, Berlin, pp. 66-76.

Fecher, H., 2001:Areal-time process algebra with open intervals and maximal progress, *Nordic Journal of Comput*. **8**(3), 346-360.

Gafurov, D. and Wang, Y., 2003: Formal description of the cognitive comprehension process, in *Proc*.*2003 Canadian Conference on Electrical and Computer Engineering (CCECE*'03), Montreal, Canada, May 2003, 35, pp. 1-4.

Gerber, R., Gunter, E. L. and Lee, I., 1992: Implementing a real-time process algebra, in M. Archer, J. J. Joyce, K. N. Levitt and Phillip J. Windley (eds.), *Proc*.*International Workshop on the Theorem Proving System and Its Applications*, IEEE Computer Society Press, Los Alamitos, CA, August 1992, pp. 144-154.

Hoare, C. A. R., 1985: *Communicating Sequential Processes*, Prentice-Hall, Englewood Cliffs, NJ. (ISBN 0-13-153271-8)

Jeffrey, A., 1992: Translating timed process algebra into prioritized process algebra, in J. Vytopil (ed.), *Proc*.*2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol*. *571*, LNCS, Springer-Verlag, Nijmegen, The Netherlands, pp. 493-506.

Klusener, A. S., 1992: Abstraction in real time process algebra, in J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg (eds.), *Proc*.*Real-Time: Theory in Practice*, LNCS, Springer-Verlag, Berlin, pp. 325-352.

Martin-Lof, P., 1975: An intuitionist theory of types: Predicative part, in H. Rose and J.C. Shepherdson (eds.), *Logic Colloquium*, North-Holland, Amsterdam, pp. 73-118.

Milner, R., 1989: *Communication and Concurrency*, Prentice-Hall, Englewood Cliffs, NJ.

Nicollin, X. and Sifakis, J., 1991: An overview and synthesis on timed process Algebras, in *Proc*.*3rd International Computer Aided Verification Conference*, Aalborg, Denmark, Springer Verlag, pp. 376-398.

Vereijken, J. J., 1995: A process algebra for hybrid systems, in A. Bouajjani and O. Maler (eds.), *Proc*.*Second European Workshop on Real-Time and Hybrid Systems*, Grenoble, France, June 1995.

Wang, Y., 2001: Formal description of the UML architecture and extendibility, *Int*.*J*.*Object*
**6**(4), 469-488.

Wang, Y., 2002a: The real-time process algebra (RTPA), *Ann*.*Software Engineer*. **14** (Oct.), 235-274.

Wang, Y., 2002b: A new math for software engineering-The real-time process algebra (RTPA), *Keynote Speech at The 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE*'02), Banff, Alberta, Canada, April 2002.

Wang,Y., 2002c: On the informatics laws of software (Keynote lecture), in *Proc*.*1st IEEE International Conference on Cognitive Informatics (ICCI*'02)*,* Calgary, Canada, IEEE CS Press, August 2002, pp. 132-144.

Wang,Y. and Foinjong, N. C., 2002: Formal specification of a real-time lift dispatching system, in *Proc*.*2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE*'02), Winnipeg, Manitoba, Canada, May 2002, pp. 669-674.

Wang, Y. and Foinjong, N. C., 2003: Formal specification of real-time operating systems using RTPA, in *Proc*. *2003 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE*'03), Montreal, Canada, May 2003, 35, pp. 1-4.

Wang, Y. and King, G., 2000: *Software Engineering Processes: Principles and Applications*, CRC Press, Boca Raton, FL, 752 pp.