Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 - Grimm, Christoph (Springer US, 2004)