Modeling and executing cyber security exercise scenarios in cyber ranges