Jawa: A Java Tool-Kit for Mobile Objects Applications. - Eko Mursito Budi; Geoff Roy; Graeme Cole (FIDJI, 2002)

Analytical Temporal Specification Issues for Industrial Control Systems. - Rachna Dhand; Gareth Lee; Graeme Cole (AINA Workshops, 2010)