Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Rafnsson, W., Garg, D., & Sabelfeld, A. (2016). Progress-Sensitive Security for SPARK. In Engineering Secure Software and Systems (pp. 20-37). Berlin: Springer. doi:10.1007/978-3-319-30806-7_.