Mitra Nami, Witold Suryn. From requirements to software trustworthiness using scenarios and finite state machine. In 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012. pages 3126-3131, IEEE, 2012. [doi]
Abstract is missing.