N. Storey, Safety-Critical Computer Systems, 1996.

. Oslc-core, Open Services for Lifecycle Collaboration. OSLC Core specification

J. R. Abrial, Modeling in Event-B, 2010.
DOI : 10.1017/CBO9781139195881

O. Rodin and . Adapter, Using Instructions) Online at http://openservices .net/bin

T. Kelly, Arguing safety a systematic approach to managing safety cases, 1998.