Jonas Eckhardt and I published a paper on how safety and security of distributed systems can be enhanced through formal patterns. The article is part of the Proceedings of the Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS 2012). Abstract: Distributed systems are often safety- and security-critical systems and have [...]