Paul Maier
Department of Informatics, Technische Universitaet Muenchen, Garching, Germany
Constraint Processing
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1