Selbach, N. (2019). Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn.