Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel₹5,065