Foster, Baxter, Cavalcanti, Woodcock, Zeyda, 2020. Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP.