Scoped types and aspects for real-time Java memory management
scientific article; zbMATH DE number 5189174