Environment Modeling-Based Requirements Engineering for Software Intensive Systems - Jin, Zhi (Morgan Kaufmann Elsevier, 2018)