Markus Grabowski, Bernhard Kaiser, Yu Bai. Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl, editors, Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany. Volume P-280 of LNI, pages 245-260, Gesellschaft für Informatik e.V., 2018. [doi]
Abstract is missing.