Verification of the legOS Scheduler using Uppaal. - Lone Halkjaer; Karen Haervig; Anna Ingólfsdóttir (MTCS, 2000)