@Inproceedings{KatzKatz10,
	author = {Emilia Katz and Shmuel Katz},
	title  = {User Queries for Specification Refinement Treating Shared Aspect Join Points},
	editor    = {Jos{\'e} Luis Fiadeiro  and Stefania Gnesi},
	booktitle = {Proc. 8th IEEE Int'l Conference on Software Engineering and Formal Methods (SEFM'10)},
	year      = 2010,
}