Applying Active Diagnosis to Space Systems by On-Board Control Procedures