Comparing models against systems