Text this: Real time programming languages, specification and verification / R.K. Shyamasundar, S. Ramesh. [electronic resource] :