Matteo Risoldi, Vasco Amaral. Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping. In Nicolas Guelfi, Didier Buchs, editors, Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Volume 4401 of Lecture Notes in Computer Science, pages 144-159, Springer, 2006. [doi]
Abstract is missing.