Specification models