Protocol Specification, Testing and Verification, IV by Shaula Robert; Yemini Yechiam; Strom Yemini