Engineering theories of software intensive systems - Broy, M. , 1949- (Springer, 2005)