Text this: From attack trees to timed stochastic games