Refinement calculus of reactive systems.

Viorel Preoteasa, Stavros Tripakis

Browse the full EMSOFT paper archive.