Text this: Multilevel modeling of secure systems in QoP-ML