Ammar, H H Dugan, J.B. Risk Assessment of Software-System Specifications - 171-183 p. Subjects--Topical Terms: Risk AssessmentSoftware SpecificationColored Petri-Net