© 2016 Thomas Bjørner, Andreas Magnusson, Robin Pascal Nielsen, published by University of Gothenburg NordicomThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.