IMPLEMENTING MODE CHANGES AND FAULT RECOVERY FOR HARD REAL-TIME SYSTEMS IN ADA**Work supported by the Spanish National Research Program in Information and Communications Technologies, contract TCI-397/89 | Publicación