@conference{799901,
  author = {Dhananjay Anand and Jeffrey Fletcher and Ya-Shian Li-Baboud and Julien Amelot and James Moyne},
  title = {Using clock accuracy to guide model synthesis in distributed systems: An application in power grid control},
  year = {2010},
  month = {2010-09-27 00:09:00},
  publisher = {IEEE International Symposium on Precision Clock Synchronization 2010, Portsmouth, NH, US},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=906257},
  language = {en},
}