Model-Based Specification for System Development with Suppliers. - Phanikrishna Thota; Simon Hancock; Mario Noriega-Fogliani; Rodrigo Jiménez (CSDM, 2019)