@inproceedings{conf/fm/HayesJJ03,
	title = {Determining the Specification of a Control System from That of Its Environment.},
	author = {Ian J. Hayes and Michael A. Jackson and Cliff B. Jones},
	booktitle = {FME},
	crossref = {conf/fm/2003},
	editor = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli},
	pages = {154-169},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fm/fme2003.html#HayesJJ03},
	volume = {2805},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2bd6b672e7d2f2420d8a9e1e7a135c6a6/dblp},
	description = {dblp},
	ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=154}, isbn = {3-540-40828-2}, date = {2007-09-07},
	keywords = {dblp }
}