Author: NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (2004 Marktoberdorf, Germany)