North-Holland
Science of Computer Programming
Computer Security

Meng, S., Arbab, F., Aichernig, B. K., Astefanoaei, L., de Boer, F., & Rutten, J. (2012). Connectors as designs: Modelling refinement and test case generation. Science of Computer Programming, 77, 799–822.