Haiyan Xiong Paul Curzon Sofiène Tahar Ann Blandford Providing a formal linkage between MDG and HOL. 83-116 2007 30 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-0017-y db/journals/fmsd/fmsd30.html#XiongCTB07