Model-Driven Code Generation for Secure Smart Card Applications | IEEE Conference Publication | IEEE Xplore