Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening: Active Learning of Abstract System Models from Traces using Model Checking. DATE 2022: 100-103