A Tool for the Design and Analysis of Software Safety-Critical Systems.

Janet A. Gill, Frederick Ferguson

Browse the full IRI paper archive.