Combining Transformation and Posit-and Prove in a VDM Development. - Tim Clement (VDM Europe (1), 1991)

Using Metavariables in Natural Deduction Proofs. - Tim Clement (Refine, 1992)

Comparing Approaches to Data Reification. - Tim Clement (FME, 1994)

Data Reification without Explicit Abstraction Functions. - Tim Clement (FME, 1996)

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. - Meine van der Meulen; Tim Clement (FM-Trends, 1998)

The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story. - Tim Clement; Ian Cottam; Peter K. D. Froome; Claire Jones (SAFECOMP, 1999)

Integrity Static Analysis of COTS/SOUP. - Peter G. Bishop; Robin E. Bloomfield; Tim Clement; Sofia Guerra; Claire Jones (SAFECOMP, 2003)

Software criticality analysis of COTS/SOUP. - Peter G. Bishop; Robin E. Bloomfield; Tim Clement; Sofia Guerra (Reliab. Eng. Syst. Saf., 2003)

The Morality and Economics of Safety in Defence Procurement. - Tim Clement (SSS, 2009)