[1] Univ Beira Interior, Dept Comp Sci, Covilha, Portugal
[2] RAUVA Co, Lisbon, Portugal
[3] New Uzbekistan Univ, Dept Math, Tashkent, Uzbekistan
[4] Univ Tokyo, Atmosphere & Ocean Res Inst, Kashiwa, Japan
[5] Harvard Univ, Dept Earth & Planetary Sci, Cambridge, MA USA
[6] Falcolande Co, Vigo, Spain
[7] INESC TEC, Dept Informat, High Assurance Software Lab, Braga, Portugal
[8] Univ Beira Interior, Inst Telecomunicacoes, Covilha, Portugal
[9] Univ Antwerp, Dept Comp Sci, Antwerp, Belgium
[10] Flanders Make Strateg Res Ctr, AnSyMo Cosys Core Lab, Leuven, Belgium