Bibliography: p305-310. _ Includes index.
HRT-HOOD : a structured design method for hard real-time ADA systems by Alan Burns. ISBN 0444821643. Published by Elsevier in 1995. Publication and catalogue information, links to buy online and reader comments.