Key points are not available for this paper at this time.
Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's. Petri nets may offer a solution.
Agerwala (Sat,) studied this question.