@InProceedings{Rebelo-etal08c,
  author =	"Henrique Reb\^{e}lo and S\'{e}rgio Soares and Ricardo
		 Lima and Paulo Borba and M\'{a}rcio Corn\'{e}lio",
  title =	"{JML} and Aspects: The Beneifts of Instrumenting {JML}
		 Features with {AspectJ}",
  booktitle =	"Seventh International Workshop on Specification and
		 Verification of Component-Based Systems (SAVCBS 2008)",
  pages =	"11--18",
  year = 	"2008",
  number =	"CS-TR-08-07",
  series =	"Technical Report",
  address =	"4000 Central Florida Blvd., Orlando, Florida,
		 32816-2362",
  organization = "School of EECS, UCF",
  annote =	"26 references.",
  URL =  	"http://www.eecs.ucf.edu/SAVCBS/2008/papers/Rebelo-Soares-Lima-Borba-Cornelio.pdf",
}