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

Created September 27, 2010, Updated October 06, 2010