This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License Newcastle University ePrints - eprint.ncl.ac.uk Laibinis L, Troubitsyna E, Prokhorova Y, Iliasov A, Romanovsky A. From Requirements Engineering to Safety Assurance:Refinement Approach. In: 1st Symposium on Dependable Software Engineering; Theories, Tools and Applications. 2015, Nanjing, China: Springer. Copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-25942-0_13 DOI link to article: http://dx.doi.org/10.1007/978-3-319-25942-0_13 Date deposited: 06/01/2016 Embargo release date: 17 October 2016