Developed by Claus Gittinger for Runtime Systems lectures at FIT CTU.