Robust controller synthesis of switched systems using counterexample guided framework.