Application of Artifact-Based RE in Fortified Cards | IEEE Conference Publication | IEEE Xplore