Cyber & formal methods publications January 1, 2010 Conference PaperToward Distributed Declarative Control of Networked Cyber-Physical Systems SRI International January 1, 2010 ↓ View online Share this