Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)