Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori. Extracting Models from ISO 26262 for Reusable Safety Assurance. In John M. Favaro, Maurizio Morisio, editors, Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR 2013, Pisa, Italy, June 18-20. Proceedings. Volume 7925 of Lecture Notes in Computer Science, pages 192-207, Springer, 2013. [doi]
Abstract is missing.