@TechReport{Rebelo-etal09,
  author =	"Henrique Reb\^{e}lo and Ricardo Lima and M\'{a}rcio
		 Corn\'{e}lio and Gary T. Leavens and Alexandre Mota and
		 C\'{e}sar Oliveira",
  title =	"Optimizing {JML} Features Compilation in Ajmlc Using
		 Aspect-Oriented Refactorings",
  number =	"CS-TR-09-05",
  series =	"Technical Report",
  address =	"4000 Central Florida Blvd., Orlando, Florida,
		 32816-2362",
  organization = "School of EECS, UCF",
  year = 	"2009",
  month =	apr,
  annote =	"30 references.",
  note = 	"To appear in SBLP'09.",
  URL =  	"http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-09-05/TR.pdf",
}