Model learning and model checking of SSH implementations. - Paul Fiterau-Brostean; Toon Lenaerts; Erik Poll; Joeri de Ruiter; Frits W. Vaandrager; Patrick Verleg (SPIN, 2017)