Evaluate and control service and transaction dependability of complex IoT systems. - Sina Niedermaier; Thommy Zelenik; Stefan Heisse; Stefan Wagner 001 (Softw. Qual. J., 2022)