SOCA: Domain Analysis for Highly Automated Driving Systems. - Martin Butz; Christian Heinzemann; Martin Herrmann; Jens Oehlerking; Michael Rittel; Nadja Schalm; Dirk Ziegenbein (ITSC, 2020)