Software Technology: Methods and Tools - Mazzara; Bruel, Jean-Michel; Meyer, Bertrand; Petrenko, Alexander (Springer International Publishing, 2019)