Safe Cooperative CPS: A V2I Traffic Management scenario in the SafeCOP project