Automated synthesis of protocol converters with BALM-II