Tool Support for PSARE and H/H/P.
There are two automated tools that provide support for many features of the H/H/P methods:
TurboCASE/Sys (which was used to develop the models in the PSARE book), and Axiom/Sys. Both tool vendors are committed to expanding their support of the methods. If and when other tools with comparable capabilities become available, we will announce them here.