Teaching utilization of a multitasking operating system: A case study
Study of the task scheduler used in automotive electronics software system
Study of autonomous operation system for co-orbiting platform
Specification and verification of the ASOS kernel