Design and Verification of Cyber-Physical Systems: From Theory to Applications 3 contributors - Paperback £69.99 Find out more