Bibliography

1

L4Check.
Documentation at http://os.inf.tu-dresden.de/~l4check/.

2

DICE User's Manual, 2006.
Available at http://os.inf.tu-dresden.de/dice/manual.pdf.

3

Han-Wen Nienhuys.
gendep library.
Based on code from http://www.xs4all.nl/~hanwen/public/software/README.html.