Towards modularity of the Rust RTIC real-time scheduling framework. - Zakaria Madaoui; Henri Lunnikivi; Pawel Dzialo; Per Lindgren (NorCAS, 2024)