Update atom-model-specification.md