Overview Talks presented at
Summerschool at Technical University Kaiserslautern sponsored by
DASMOD Dependable Adaptive Systems and Mathematical Modeling