1. Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems;sheikh bahaei;International Conference on System Reliability and Safety (ICSRS),2019
2. A Metamodel Extension to Capture Post Normal Accidents in AR-equipped Socio-technical Systems
3. A reusable modular toolchain for automated dependability evaluation;montecchi;Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools Institute for Computer Sciences Social-Informatics and Telecommunications Engineering,2013
4. Introduction to Stochastic Petri Nets;balbo;School organized by the European Educational Forum,2000