Exploratory Model Analysis by Simon Urbanek