A manifesto for model-based management