@inproceedings{SPIN17,
 author = {Fiter\u{a}u-Bro\c{s}tean, Paul and Lenaerts, Toon and Poll, Erik and de Ruiter, Joeri and Vaandrager, Frits and Verleg, Patrick},
 title = {Model Learning and Model Checking of SSH Implementations},
 booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software},
 series = {SPIN 2017},
 year = {2017},
 isbn = {978-1-4503-5077-8},
 pages = {142--151},
 doi = {10.1145/3092282.3092289},
 publisher = {ACM},
}