@INPROCEEDINGS{cybernetixFMICS2007,
author = {Leonard Lensink and Sjaak Smetsers and Marko van Eekelen},
title = {Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization},
booktitle = {Proc. 12th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)},
editor = {P. Merino and S. Leue},
publisher = {Springer},
series = {Lecture Notes Computer Science},
volume = {4916},
pages = {115-132},
year = {2008}
}