Safety Guarantees from Explicit Resource Management. - Aspinall, David; Maier, Patrick; Stark, Ian (2007)