Title: Computer techniques for system synthesis