Osi Conformance Testing Methodology And Ttcn by Bernd Baumgarten