Villatte, "Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools," in Proceedings of the International Conference on Computer Safety, Reliability and Security (SafeComp
), Trondheim, Norway, 1991.
[21.] Carloni M., Ferrante O, Ferrari A., Massaroli G., Orazzo A., Petrone I., Velardi L., "Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System", SAFECOMP
and Palin R., "Safety cases and their role in ISO 26262 functional safety assessment," in SAFECOMP
Computer system survivability modelling by using stochastic activity network, in Safecomp
Conference Proceedings, 71-84.