Springer
Service Oriented Computing and Applications
Computer Security

Albert, E, de Boer, F.S, Haehnle, R, Johnsen, E.B, Schlatte, R, Tarifa, S.L.T, & Wong, P.Y.H. (2014). Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Service Oriented Computing and Applications, 8(4), 323–339.