http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Embedded systems and software validation
Includes bibliographical references (pages 233-239) and index.
Morgan Kaufmann series in systems on silicon