(1)
Rafeh, R.; Rabiee, A. Towards the Design of Safety-Critical Software. JART 2013, 11.