PREVISE: A knowledge-based system to support the preparation and verification of space operations procedures. - A. de Saint Vincent; F. Lecouat; G. Leonis; F. Allard (Future Gener. Comput. Syst., 1993)