Challenges of engineering safe and secure highly automated vehicles