coverage badge points to develop branch
merged from feature-models
Merge branch 'develop' into feature-models