Frage zu Artikel "Protocol Specification, Testing and Verification.."