TY - CONF AU - Anand, Dhananjay AU - Fletcher, Jeffrey AU - Li-Baboud, Ya-Shian AU - Amelot, Julien AU - Moyne, James C2 - IEEE International Symposium on Precision Clock Synchronization 2010, Portsmouth, NH, US DA - 2010-09-27 00:09:00 LA - en PB - IEEE International Symposium on Precision Clock Synchronization 2010, Portsmouth, NH, US PY - 2010 TI - Using clock accuracy to guide model synthesis in distributed systems: An application in power grid control UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=906257 ER -