Artificial intelligence for monitoring and diagnosis of robotic spacecraft - Atkinson, David John (Technical report, 1992)