@misc{102966, author = {James Lyle and D Wallace and J Graham and K Gallagher and Joseph Poole and D Binkley}, title = {Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design}, year = {1995}, month = {1995-08-01}, publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD}, language = {en}, }