Dependable and Efficient Cloud-Based Safety-Critical Applications by Example of Automated Valet Parking. - Christian Drabek; Dhavalkumar Shekhada; Gereon Weiss; Mario Trapp; Tasuku Ishigooka; Satoshi Otsuka; Mariko Mizuochi (INTSYS, 2020)