- Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer 0001, Alexander K. Petrenko, editors, Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings. Volume 11771 of Lecture Notes in Computer Science, Springer, 2019.