http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Specification and compositional verification of real-time systems
viii, 235 pages : illustrations ; 25 cm.
Revised version of the author's thesis (Ph. D.)--Eindhoven University of Technology.
Includes bibliographical references (pages [229]-235).