@ARTICLE {
	AUTHOR = "Johan Fabry and Coen De Roover and Carlos Noguera and Steffen Zschaler and Awais Rashid and Viviane Jonckers",
	TITLE ="AspectJ code analysis and verification with GASR",
	JOURNAL = "Journal of Systems and Software (JSS)",
	VOLUME = "117",
	PAGES = "528-544",
	MONTH = "Apr",
	YEAR = "2016",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0164-1212"
	}