Pipe, Anthony, Araiza-Illan, Dejanira, Western, David, Pipe, Anthony G., Eder, Kerstin, "Coverage-driven verification — An approach to verify code for robots that directly interact with humans", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015