The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System. - Paul O. Collinson; Susan Oppert; Steven Hughes (SAFECOMP, 1993)

Tradespace analysis tool for designing constellations (TAT-C). - Jacqueline Le Moigne; Philip W. Dabney; Olivier de Weck; Veronica Foreman; Paul T. Grogan; Matthew Holland; Steven Hughes; Sreeja Nag (IGARSS, 2017)