On the Redundant Distributed Observability of Mixed Traffic Transportation Systems