Eunsuk Kang, Daniel Jackson. Patterns for building dependable systems with trusted bases. In Christian Kohls, editor, 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010. pages 19, ACM, 2010. [doi]
Abstract is missing.