Integrating formal methods tools to support system design. - Shiu-Kai Chin; John Faust; Joseph Giordano (ICECCS, 1995)

Formal Methods Applied to Secure Network Engineering. - Shiu-Kai Chin; John Faust; Joseph Giordano (ICECCS, 1996)