Formal Modeling and Analysis of Timed Systems 2 contributors - Paperback £40.49 was £44.99Find out more