Title: Structured design of digital integrated systems with distributed control