Stack size analysis for interrupt-driven programs
scientific article; zbMATH DE number 2126483