@misc{375,
  author = {Joseph Porter and Graham Hemingway and Harmon Nine and Chris vanBuskirk and Nicholas Kottenstette and Gabor Karsai and Janos Sztipanovits},
  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},
  publisher = {Vanderbilt University},
  address = {Nashville, TN},
}