Software Engineering for Robotics - Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock (Springer, 2021)