Dr Steffen ZschalerABDULRAHMAN NASSAR KHALAF ALRESHIDI2022-05-262022-05-2631687https://drepo.sdl.edu.sa/handle/20.500.14154/32536A Generic High-Level Specification Language for Non-functional Properties of Component-Based SystemsThesis