Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
ACM Digital Library