North-Holland
Science of Computer Programming
Computer Security

C. (born Köhler, , C.) Krause, 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.