You are about to access our book library "Object Oriented Real-Time Dependable Systems (Words 2000): 5th International Workshop on Post-Proceedings full version" .