Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten. Connectors as designs: Modeling, refinement and test case generation. Science of Computer Programming, 77(7-8):799-822, 2012. [doi]
Abstract is missing.