Formal Methods for Requirements Engineering for Large Cyber-Physical Systems