Improving Railway Safety: Human-in-the-loop Invariant Finding. - Ben Lloyd-Roberts; Phillip James; Michael Edwards; Simon Robinson 001; Thomas Werner (CHI Extended Abstracts, 2023)

Effective Candidate Invariant Generation Using GPGPUs and Optimisations. - Ben Lloyd-Roberts; Filippos Pantekis; Phillip James; Liam O'Reilly; Michael Edwards (CANDAR, 2024)