System Requirements and Analysis Issues for High Assurance Systems. - Gary Johnson; John Calvert; Kelly J. Hayhurst; John Janeri; Herbert Hecht (HASE, 1998)