@inproceedings{ZeidlerBystrovKrsticetal.2011, author = {Steffen Zeidler and Alexander Bystrov and Milos Krstic and Rolf Kraemer}, title = {On-line Testing of Bundled-Data Asynchronous Handshake Protocols}, year = {2011}, }