Online Model Checking - Rammig, Franz-Josef; Zhao, Yuhong (Dependability of Self-Optimizing Mechatronic Systems)