Ripon, S. and Miller, A. (2010) Verification of a symmetry detection technique using PVS. In: 10th International Workshop on Automated Verification of Critical Systems (AVoCS'2010), Düsseldorf, Germany, September 21-23, 2010,

Ripon, S., Miller, A. and Donaldson, S. (2009) A semantic embedding of Prolema-Lite in PVS. In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 09), Swansea, Wales, 23-25 Sep 2009,

Power, C. and Miller, A. (2008) Prism2Promela. In: Fifth International Conference on Quantitative Evaluation of Systems, 2008. QEST '08, St. Malo, France, 14-17 Sep 2008, pp. 79-80. ISBN 978-0-7695-3360-5 (doi: 10.1109/QEST.2008.20)