From Requirements Engineering to Safety Assurance: Refinement Approach.

Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky

Browse the full SETTA paper archive.