INTERNATIONAL JOURNAL OF REAL TIME SYSTEMS (SERIALS)