Oana Florescu, Jeroen Voeten, Henk Corporaal. Synthesis for Unified Control- and Data-Oriented Models. In Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings. pages 531-543, ECSI, 2005. [doi]
Abstract is missing.