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