Automated Synthesis of Protocol Converters with BALM-II. - Giovanni Castagnetti; Matteo Piccolo; Tiziano Villa; Nina Yevtushenko 001; Robert K. Brayton; Alan Mishchenko (SEFM Workshops, 2015)