Engineering spacecraft as integrated systems — from requirements and architecture to hardware verification.