Ownership types for safe region-based memory management in real-time Java