Title: Control intensive digital system synthesis