Real time programming languages, specification and verification - Shyamasundar, Rudrapatna 1950- (World Scientific, 2010)
Includes bibliographical references and index