Using clock accuracy to guide model synthesis in distributed systems: An application in power grid control | IEEE Conference Publication | IEEE Xplore