Multilevel Modeling of Secure Systems in QoP-ML - Bogdan Ksiezopolski (Taylor and Francis, 2015)