Ähnliche Einträge: Protocol specification, testing and verification, IX :