@inproceedings{Weston2005,
  author = {Weston, Nathan and Ta\"{\i}ani, Fran\c{c}ois and Rashid, Awais},
  title = {Modular Aspect Verification for Safer Aspect-Based Evolution},
  booktitle = {Proceedings of the 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'05)},
  pages = {17--28},
  year = {2005},
  editor = {Cazzola, W. and Chiba, S. and Saake, G. and Tourw\'{e}, T.},
  address = {Glasgow, Scotland},
  month = {July},
  publisher = {Fakultät für Informatik, Universität Magdeburg},
  numpages = {12}
}