Michael Eonsuk Shin, Hassan Gomaa, Don Pathirage: Model-based Design of Reusable Secure Connectors. MoDELS (Satellite Events) 2017: 3-9