Automating Techniques for Inspecting High Assurance Systems. - M. S. Fisher; Bojan Cukic (HASE, 2001)

Parallel processing with the Wind CFD code at Boeing. - M. S. Fisher; M. Mani; D. Stookesberry (Parallel Comput., 2001)