Mats Per Erik Heimdahl, Barbara J. Czerny. Using PVS to analyze hierarchical state-based requirements for completeness and consistency. In 1st High-Assurance Systems Engineering Workshop (HASE 96), October 22, 1996, Niagara, Canada, Proceedings. pages 252-262, IEEE Computer Society, 1996. [doi]
Abstract is missing.