BMBF-Projekt DIS-Lab (Dependable Intelligent Systems)