HRT-HOOD a structured design method for hard real-time Ada systems - Burns, Alan (Elsevier, 1995)
Includes bibliographical references (pages 305-310) and index