International Workshop on Software Engineering for Automotive Systems, ICSE Workshops, SEAS