Modular abstractions of reactive nodes using disjunctive invariants (2011)

by David Monniaux, Martin Bodin
Venue:In Programming Languages and Systems (APLAS