Optimizing the startup time of embedded systems: a case study of digital TV | IEEE Journals & Magazine | IEEE Xplore