1. Norwegian Defence Research Establishment, NO-2027 Kjeller, Norway;
2. SINTEF ICT Applied Mathematics, NO-0314 Oslo, Norway;
3. University of Oslo, NO-0316 Oslo, Norway;
4. Istituto di Analisi dei Sistemi ed Informatica “A. Ruberti” (IASI) del CNR, 00185 Rome, Italy