Model driven configuration of secure operating systems for mobile applications in healthcare - Agreiter, B; Alam, M; Hafner, M; Seifert, J-P; Zhang, X
Sztipanovits et al. [10].