Real Time Programming: Languages, Specification And Verification 2 authors - Hardback £101.00 Find out more