Safety-Critical Computer Systems, 1996. ,
Open Services for Lifecycle Collaboration. OSLC Core specification ,
Modeling in Event-B, 2010. ,
DOI : 10.1017/CBO9781139195881
Using Instructions) Online at http://openservices .net/bin ,
Arguing safety a systematic approach to managing safety cases, 1998. ,