Systems Modeling and Requirements Specification Using ESCAM