Software (theme 1)
North-Holland
Science of Computer Programming
Computer Security

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