Modeling a Multitasking Operating System Demo