Multi-level requirement model and its implementation for medical device