@InProceedings{johnsen02ifm,
  author =	 {Einar Broch Johnsen and Wenhui Zhang and Olaf Owe
                  and Demissie B. Aredo},
  title =	 {Combining Graphical and Formal Development of Open
                  Distributed Systems},
  editor =	 "Michael Butler and Luigia Petre and Kaisa Sere",
  booktitle =	 "Proceedings of the Third International Conference on
                  Integrated Formal Methods ({IFM 2002})",
  year =	 2002,
  series =	 "Lecture Notes in Computer Science",
  volume =	 2335,
  pages =	 "319--338",
  address =	 "Turku, Finland",
  month =	 may,
  publisher =	 "Springer-Verlag"
}