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