Branch and Bound Technique to Efficiently Solve Control and System Design Problems with Mixed-Integer Variables Domains