@inproceedings{PavlovicD:AMAST02,
  author = "Dusko Pavlovic and Douglas R. Smith",
  booktitle = "Proceedings of AMAST 2002",
  editor = "H. Kirchner and C. Ringeissen",
  pages = "411--425",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Guarded transitions in evolving specifications",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GTES.ps",
  volume = "2422",
  year = "2002",
}