@inproceedings{REFSQ-2015-LiHBG0M,
	author        = "Feng-Lin Li and Jennifer Horkoff and Alexander Borgida and Giancarlo Guizzardi and Lin Liu and John Mylopoulos",
	booktitle     = "{Proceedings of the 21st International Working Conference on Requirements Engineering: Foundation for Software Quality}",
	doi           = "10.1007/978-3-319-16101-3_11",
	isbn          = "978-3-319-16100-6",
	pages         = "164--180",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{From Stakeholder Requirements to Formal Specifications Through Refinement}",
	volume        = 9013,
	year          = 2015,
}