Requirements simulation for early validation using Behavior Trees and Datalog

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Failure Mode and Effect Analysis: FMEA From Theory to Execution

Helmut Schneider · Technometrics · 1996 · 1K citations

Engineering, Systems Engineering, Safety Engineering +7

ATL: A model transformation tool

Frédéric Jouault, Freddy Allilaire, Jean Bézivín et al. · Science of Computer Programming · 2008 · 967 citations

Engineering, Computer Science, Model-based Systems Engineering +10

A Taxonomy of Model Transformation

Tom Mens, Pieter Van Gorp · Electronic Notes in Theoretical Computer Science · 2006 · 880 citations · Full text

Computing, Computer Science, Model-based Systems Engineering +16