UML profile to support requirements engineering with KAOS. - William Heaven; Anthony Finkelstein (IEE Proc. Softw., 2004)

Enhancing the Alloy Analyzer with Patterns of Analysis. - William Heaven; Alessandra Russo (WLPE, 2005)

Plan-directed architectural change for autonomous systems. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SAVCBS, 2007)

From goals to components: a combined approach to self-management. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SEAMS, 2008)

Object-Oriented Specification:Analysable Patterns & Change Management. - William John Douglas Heaven (2008)

A Case Study in Goal-Driven Architectural Adaptation. - William Heaven; Daniel Sykes; Jeff Magee; Jeff Kramer (Software Engineering for Self-Adaptive Systems, 2009)

Exploiting non-functional preferences in architectural adaptation for self-managed systems. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SAC, 2010)

Simulating and optimising design decisions in quantitative goal models. - William Heaven; Emmanuel Letier (RE, 2011)

Requirements modelling by synthesis of deontic input-output automata. - Emmanuel Letier; William Heaven (ICSE, 2013)