ITEA Dependable Component Based Software for CE Devices Robocop & Space4U Experiences Tutorial at ICCE 2006.