Readable Twins of Unreadable Models. - Krzysztof Pancerz; Piotr Kulicki; Michal Kalisz; Andrzej Burda; Maciej Stanislawski; Jaromir Sarzynski (CoRR, 2025)