A component-based approach for JavaCard runtime system development | IEEE Conference Publication | IEEE Xplore