@inproceedings{REFSQ-2013-BreauxG,
	author        = "Travis D. Breaux and David G. Gordon",
	booktitle     = "{Proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality}",
	doi           = "10.1007/978-3-642-37422-7_11",
	isbn          = "978-3-642-37421-0",
	pages         = "141--157",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications}",
	volume        = 7830,
	year          = 2013,
}