Options
Weiß, Gereon
Verifying & validating non-functional properties of automotive software architectures in early design stages
A multi-layered control architecture for self-management in adaptive automotive systems