Precise visual modeling: A case-study. - John Howse; Steve Schuman (Softw. Syst. Model., 2005)

Diagrammatic Formal Specification of a Configuration Control Platform. - John Howse; Steve Schuman; Gem Stapleton; Ian Oliver (REFINE@FMWeek, 2009)