REAL-TIME SYSTEMS : THE INTERNATIONAL JOURNAL OF TIME-CRITICAL COMPUTING SYSTEMS. (Dordrecht : Kluwer Academic Publishers.)