MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 | IEEE Conference Publication | IEEE Xplore