Proceedings of the second international workshop on Software engineering for automotive systems
ACM Digital Library