-- A Component-Oriented Model for the Design of Safe Multi-threaded Applications --