@inproceedings{PavlovicD:AMAST08,
  title = "Evolving specification engineering",
  author = "Dusko Pavlovic and Peter Pepper and Douglas R. Smith",
  year = "2008",
  booktitle = "Proceedings of AMAST 2008",
  editor = "Jose Meseguer and Grigore Rosu",
  pages = "299--314",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST08.pdf",
  volume = "5140",
}