Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 - Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (Springer Netherlands, 2005)