Added k-resilient synthesis script (see the HSCC 2014 paper by Ehlers and Topcu)