A semantic model for VHDL-AMS | Publicación