Design, Specification and Verification of Interactive Systems ’99 2 contributors - Paperback £44.99 Find out more