Battle, Steve, Thompson, Matthew, "A modal logic analysis of a line-following robot", Communications in Computer and Information Science, 2018