A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems
basic concepts and taxonomy of dependable and secure computing .