Software Engineering for RoboticsAna Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock · First published 2021Open the Tome
