North-Holland
Science of Computer Programming
Computer Security

Krause (born Köhler), C., Maraikar, Z., Lazovik, A., & Arbab, F. (2011). Modeling dynamic reconfiguration in Reo using high-level replacement systems. Science of Computer Programming, 76(1), 23–36.