Brian Demsky, Sivaji Sundaramurthy: Bristlecone: Language Support for Robust Software Applications. IEEE Trans. Software Eng. 37(1): 4-23 (2011)