Spin Model Checker.
1993 en la pista del aeropuerto de Varsovia en Polonia. Un Lufthansa Airbus A320–200 con 72 personas a bordo estaba aterrizando bajo una fuerte lluvia. El avión no estaba recibiendo mucha tracción de las ruedas en el tren de aterrizaje en la pista mojada, pero los pilotos sabían que podían contar