Environment modeling-based requirements engineering for software intensive systems - Jin, Zhi 1962- (Morgan Kaufmann Publishers, 2018)