Probabilistic planning integrated in a multi-level dependability concept for mechatronic systems.