These models are SMGs constructed from the attack-defence tree approach of [ANP16].

See the paper for further details.

=====================================================================================

[ANP16]]
Zaruhi Aslanyan, Flemming Nielson and David Parker.
Quantitative Verification and Synthesis of Attack-Defence Scenarios.
In Proc. 29th IEEE Computer Security Foundations Symposium (CSF'16), pages 105-119, IEEE, 2016.
