Matteo Risoldi, Didier Buchs. A domain specific language and methodology for control systems GUI specification, verification and prototyping. In 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA. pages 179-182, IEEE Computer Society, 2007. [doi]
Abstract is missing.