prio/paper.pdf
2012-02-12 urbanc completed model section; vt has only state as argument
2012-02-11 urbanc added picture
2012-02-11 urbanc spell check; release
2012-02-11 urbanc fixed problem with back
2012-02-11 urbanc renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
2012-02-11 urbanc some polishing
less more (0) -10 -6 tip