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