Specification and design of a quasi-delay-insensitive Java card microprocessor | IEEE Conference Publication | IEEE Xplore