1. Simula Research Laboratory, Oslo, Norway / University of Oslo, Oslo, Norway
2. Simula Research Laboratory, Oslo, Norway / Oslo Metropolitan University, Oslo, Norway
3. Simula Research Laboratory, Oslo, Norway
4. National Institute of Informatics, Tokyo, Japan