Murali, R. and Ireland, A. (2012) “E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.785.