Facilitating construction of safety cases from formal models in Event-B

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview

R. Bell · 1999 · 1.6K citations

Engineering, Electrical Engineering, Systems Engineering +16

Action Research: Its Nature and Validity

Peter Checkland, Sue Holwell · Systemic Practice and Action Research · 1998 · 690 citations

Social Sciences, Psychology, Community-based Participatory Research +9

IEC 61508. Functional safety of electrical/electronic/programmable electronic safety-related systems

Computing & Control Engineering Journal · 2000 · 349 citations

Engineering, Electrical Engineering, Systems Engineering +14