CHASE: Contract-based requirement engineering for cyber-physical system designPierluigi NuzzoMichele Loraet al.2018DATE 2018