The Informal Blog - Model-Based Testing Keeps Cosmos Hub Specifications Synchronized with Code