1. A Survey of Statistical Model Checking
2. Amenaza 2006. The SecuITree® BurgleHouse Tutorial (a.k.a. Who wants to be a Cat Burglar?). Amenaza. https://www.amenaza.com/downloads/docs/Tutorial.pdf Amenaza 2006. The SecuITree ® BurgleHouse Tutorial (a.k.a. Who wants to be a Cat Burglar?) . Amenaza. https://www.amenaza.com/downloads/docs/Tutorial.pdf
3. Quantitative Verification and Synthesis of Attack-Defence Scenarios
4. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press. http://mitpress.mit.edu/books/principles-model-checking Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press. http://mitpress.mit.edu/books/principles-model-checking
5. Quantitative Variability Modeling and Analysis