1. A survey of statistical model checking;Agha;ACM Trans. Model. Comp. Simul.,2018
2. Amenaza Technologies Limited, 2006. The SecuITree®BurgleHouse Tutorial (a.k.a., Who wants to be a Cat Burglar?). 2.5 edition. https://www.amenaza.com/downloads/docs/Tutorial.pdf.
3. An application of SMC to continuous validation of heterogeneous systems;Arnold;EAI Endorsed Trans. Indust. Netw. & Intellig. Syst.,2017
4. Pareto Efficient Solutions of Attack-Defence Trees;Aslanyan,2015
5. Quantitative Verification and Synthesis of Attack-Defence Scenarios;Aslanyan,2016