1265
Together with researchers from Threatcare , IBM X-Force Red discovered that smart city systems developed by Libelium , Echelon and Battelle were vulnerable to attack .
 IBM X-Force Red: discoverer; smart city systems: vulnerable system; Libelium: vulnerable system owner; Echelon: vulnerable system owner; Battelle: vulnerable system owner
Given event type and trigger, please tell me the arguments of all the listed option. Output format is "name1: role1; name2: role2". 
Event type: discover vulnerability 
  Option: vulnerable system owner, vulnerability, capabilities, time, vulnerable system version, discoverer, common vulnerabilities and exposures, supported platform, vulnerable system 
Text: {0} 
Answer:
 IBM X-Force Red: discoverer; smart city systems: vulnerable system; Libelium: vulnerable system owner; Echelon: vulnerable system owner; Battelle: vulnerable system owner