Florian Hölzl, Martin Feilkas. AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems. In Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, editors, Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Volume 6100 of Lecture Notes in Computer Science, pages 317-322, Springer, 2007. [doi]
Abstract is missing.