Real time programming: languages, specification and verification by Shyamasundar, Rudrapatna K., Ramesh, H. 0 Type: Book
