On composing and proving the correctness of reactive behavior.

David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss

Browse the full EMSOFT paper archive.