A generic conceptual model and actual systems of IC-Card system for model-based systems engineering | IEEE Conference Publication | IEEE Xplore