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 (NATO Science Series, Series II: Mathematics, Physics and Chemistry, 2005)