North-Holland
Science of Computer Programming
Computer Security

Moon, Y.-J., Silva, A., Krause (born Köhler), C., & Arbab, F. (2012). A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Science of Computer Programming.