Ulf Carlsen The QX Smart Card Operating System. 2002 conf/cardis/2002 CARDIS db/conf/cardis/cardis2002.html#Carlsen02