1. KFUPM, Dhahran, Saudi Arabia, --- Select a Country ---
2. Runtime Verification Inc., U.S.A., --- Select a Country ---
3. Department of Mathematics University of Rijeka, Rijeka, Croatia, --- Select a Country ---
4. University College London, London, U.K., --- Select a Country ---
5. National Research University Higher School of Economics, Moscow, Russian Federation, --- Select a Country ---
6. fortiss, Munich, Germany, --- Select a Country ---
7. University of Pennsylvania, Philadelphia, PA, U.S.A., --- Select a Country ---
8. SRI International, Menlo Park, CA, U.S.A., --- Select a Country ---