1333.41 도메인 모델 검증 기법 (Domain Model Verification Techniques)