================================================================================
P9417   B. Diertens
        "New features PSF I: interrupts, disrupts, and priorities"


PSF in its original form only supports the basic features of ACP. There
have been numerous proposals to extend ACP, in order to make it possible to
specify in a more concise and realistic manner.

To facilitate specifying in PSF, the language has been extended with an
interrupt and disrupt mechanism, and priorities. And so, the PSF-Toolkit
has been adjusted to support the new features.