WCET news briefs [Certification Corner] | IEEE Journals & Magazine | IEEE Xplore