In: Computer Assurance: COMPASS'88, pages 44-48. 1988.
Abstract: An important class of system errors is defined and initial results with two prototype requirements-analysis tools are described. A requirements-specification technique that is highly operational is presented; it expresses the sequential behavior of a system in terms of processes that are equivalent to Petri nets. Subsequent definitions based on directed graphs describe the possible ways in which individual processes might interact.