Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety