On composing and proving the correctness of reactive behavior

David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss. On composing and proving the correctness of reactive behavior. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]

Abstract

Abstract is missing.