Matteo Risoldi Didier Buchs A domain specific language and methodology for control systems GUI specification, verification and prototyping. 179-182 2007 conf/vl/2007 VL/HCC http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.2 db/conf/vl/vlhcc2007.html#RisoldiB07