M\üller-Olm M, Steffen B, Cleaveland R.  1999.  On the evolution of reactive components: A process-algebraic approach. Lecture notes in computer science. :161-175.