Environment Specification: In-Orbit Verification