@inproceedings{REFSQ-2015-LiHT,
	author        = "Wenbin Li and Jane Huffman Hayes and Miroslaw Truszczynski",
	booktitle     = "{Proceedings of the 21st International Working Conference on Requirements Engineering: Foundation for Software Quality}",
	doi           = "10.1007/978-3-319-16101-3_12",
	isbn          = "978-3-319-16100-6",
	pages         = "181--197",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Towards More Efficient Requirements Formalization: A Study}",
	volume        = 9013,
	year          = 2015,
}