Real time programming languages, specification and verfication - Shyamasundar, Rudrapatna K. 1950-; Ramesh, S. (World Scientific, 2010)