Embedded Software and Systems Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings | EKB DL