Using clock accuracy to guide model synthesis in distributed systems: An application in power grid control

Created September 27, 2010, Updated February 19, 2017