Mechatronic Design Automation