Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay: From typestate verification to interpretable deep models (invited talk abstract). ISSTA 2019: 4-5