Erik Markert, Milind Shende, Thomas Horn, Peter Wolf, Ulrich Heinkel. Tool-supported specification of a wind turbine. In International Multi-Conference on Systems, Signals & Devices, SSD 2012, Chemnitz, Germany, March 20-23, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.