Temporal Logic Case Study. - William G. Wood (Automatic Verification Methods for Finite State Systems, 1989)

Application of formal methods to system and software specification. - William G. Wood (Formal Methods in Software Development, 1990)

A Specification of the Cat and Mouse Problem. - William G. Wood (REX Workshop, 1991)

Assessing the Quality of Large, Software-Intensive Systems: A Case Study. - Alan W. Brown; David J. Carney; Paul C. Clements; B. Craig Meyers; Dennis B. Smith; Nelson H. Weiderman; William G. Wood (ESEC, 1995)

Government product lines. - William G. Wood (SPLC, 2000)