@article {4211,
	title = {The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis},
	year = {2010},
	month = {09/2010},
	institution = {Vanderbilt University},
	address = {Nashville, TN},
	issn = {ISIS-10-109},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ESMoL_TR.pdf},
	author = {Joseph Porter and Graham Hemingway and Nine, Harmon and Chris vanBuskirk and Kottenstette, Nicholas and Karsai, Gabor and Sztipanovits, Janos}
}
