GPCA_SC.pdf is the assurance case provided by UPenn.
GPCA_SC.vdx is the Vizio source for the pdf.
GPCA_Uppaal_design.q and GPCA_Uppaal_design.xml contain the Uppaal design.

The rules corresponding to the pdf are in gpca_rules.

To start the ETB: ./start
Then start a shell: ../../etb_clients/etb-shell/etb-shell

Then in the shell:

/ > q = pcaSafe

builds the derivation.

/ > query_derivation(q)

Displays the derivation (it needs graphviz to be installed).

The rules follow the pdf pretty closely.
