Linda Herrmann: Formal configuration of fault-tolerant systems. Dresden University of Technology, Germany 2018, 1-119