Tom Maibaum. On specifying systems that connect to the physical world. In Hamido Fujita, Mohamed Mejri, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada. Volume 147 of Frontiers in Artificial Intelligence and Applications, pages 71-83, IOS Press, 2006.
Abstract is missing.