@InProceedings{johnsen09fm,
  author =	 {Einar Broch Johnsen and Marcel Kyas
                  and Ingrid Chieh Yu},
  title =	 {Dynamic Classes: Modular Asynchronous Evolution of
                  Distributed Concurrent Objects},
  booktitle =	 {Proc. 16th International Symposium on 
                  Formal Methods ({FM}'09)},
  editor =       {Ana Cavalcanti and Dennis Dams},
  series =	 {Lecture Notes in Computer Science},
  volume =	 5850,
  publisher =	 {Springer-Verlag},
  pages =        {596--611},
  year =	 2009,
  month =        nov,
}