@inproceedings{ICEIS-EIS-2007-RychkovaW,
	author        = "Irina Rychkova and Alain Wegmann",
	booktitle     = "{Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume 3: EIS}",
	pages         = "196--204",
	title         = "{Refinement Propagation — Towards Automated Construction of Visual Specifications}",
	year          = 2007,
}