Bibliography: p387-392. - Includes index.
Engineering real time systems : an object-oriented methodology using SDL by Rolv Brœk. ISBN 0130344486. Published by Prentice Hall in 1993. Publication and catalogue information, links to buy online and reader comments.