Dependability Assessment of SOA-Based CPS with Contracts and Model-Based Fault Injection