@inproceedings{RE-2001-Hall01a,
	author        = "Robert J. Hall",
	booktitle     = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
	doi           = "10.1109/ISRE.2001.948589",
	isbn          = "0-7695-1125-2",
	pages         = "289--291",
	publisher     = "{IEEE Computer Society}",
	title         = "{Specification Modeling and Validation Applied to Network Security Gateways}",
	year          = 2001,
}