Dependability-Oriented Model-Driven Requirements Engineering For Reactive Systems