A layered approach for testing timing in the model-based implementation. - BaekGyu Kim; Hyeon I. Hwang; Taejoon Park; Sang Hyuk Son; Insup Lee 001 (DATE, 2014)