Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata. - Oliver B. Martin; Brian C. Williams; Michel D. Ingham (AAAI, 2005)