Engineering Theories of Software Intensive Systems - Broy, Manfred (Springer Netherlands, 2020)