Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience | IEEE Conference Publication | IEEE Xplore