C. T. Carr T. Martin McGinnity L. J. McDaid Integration of UML and VHDL-AMS for analogue system modelling. 80-94 2004 16 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-003-0027-0 db/journals/fac/fac16.html#CarrMM04