Geert Vanderhulst, Kris Luyten, Karin Coninx. ReWiRe: Designing Reactive Systems for Pervasive Environments. In T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, pages 155-160, Springer, 2008. [doi]
Abstract is missing.