Volume 12 in the ADVANCED ELECTRICAL AND COMPUTER ENGINEERING SERIES. The authors deal with conformance testing for verification and validation of protocols for communication and distributed computer systems. The FSM model is used to introduce the reader to the topic, and the book is aimed at both practicing engineers and academics.