Probabilistic planning integrated in a multi-level dependability concept for mechatronic systems | IEEE Conference Publication | IEEE Xplore