Environment Modeling-Based Requirements Engineering for Software Intensive Systems