Communicating X-machines. - Judith Barnard; J. Whitworth; M. Woodward (Inf. Softw. Technol., 1996)

COMX : a methodology for the formal design of computer systems using communicating X-machines. - Judith Barnard (1996)

COMX: a design methodology using communicating X-machines. - Judith Barnard (Inf. Softw. Technol., 1998)

A new reusability metric for object-oriented software. - Judith Barnard (Softw. Qual. J., 1998)

Introducing X-machine models to verify PLC ladder diagrams. - Colin Chambers; Mike Holcombe; Judith Barnard (Comput. Ind., 2001)