Anand, D.
, Fletcher, J.
, Li-Baboud, Y.
, Amelot, J.
and Moyne, J.
(2010),
Using clock accuracy to guide model synthesis in distributed systems: An application in power grid control, IEEE International Symposium on Precision Clock Synchronization 2010, Portsmouth, NH, US, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=906257
(Accessed December 13, 2024)