Testing requirements for an embedded operating system: The exception handling case study. - Lucieli Tolfo Beque; Thiago Dai Pra; Érika F. Cota (LATW, 2009)